comparison 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
comparison
equal deleted inserted replaced
61:bdef5f279fde 62:610cd4e09b91