diff docs/old-manual/options.html @ 62:610cd4e09b91

better EXTRA_DIST value
author meillo@marmaro.de
date Sat, 29 May 2010 23:48:42 +0200
parents f6a6f55b7b9e
children
line wrap: on
line diff