diff baum.c @ 24:69a7cf2f0c06 0.1

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 e2048e569891
children f0856c177403
line wrap: on
line diff