diff misc/are-options-documented @ 199:a8855df82650

generated Makefile.in to install THANKS file
author meillo@marmaro.de
date Fri, 16 Jul 2010 12:39:14 +0200
parents 867bb186a829
children
line wrap: on
line diff