diff misc/gen-dist @ 73:9db75b801dc4

made a comment more exact
author meillo@marmaro.de
date Wed, 16 Jun 2010 10:35:13 +0200
parents e119cee8d493
children b212da6385a8
line wrap: on
line diff