baum

diff debian/docs @ 24:69a7cf2f0c06

make dist includes now a stripped executable (should we include the exe at all?)
author meillo@marmaro.de
date Wed, 13 Feb 2008 22:04:12 +0100
parents 3c64b5ac821b
children
line diff