diff Copyright @ 12939:9b44f32dae3f

This alternative Debian directory was never used, so I'm removing it with the consent of Attila, who originally added it.
author diego
date Tue, 03 Aug 2004 00:37:05 +0000
parents ba42bf567073
children 270ca6c69c7a
line wrap: on
line diff