diff debian/dirs @ 7472:c4434bdf6e51

tons of warning fixes, also some 10l bugfixes, including Dominik's PVA bug
author arpi
date Sun, 22 Sep 2002 02:33:28 +0000
parents 0737156ad1f0
children 1856b9bfdc09
line wrap: on
line diff