diff debian/dirs @ 12710:7411f27abe85

pre5 changes by Reimar and myself
author diego
date Mon, 28 Jun 2004 10:14:51 +0000
parents 0737156ad1f0
children 1856b9bfdc09
line wrap: on
line diff