debian/patches/00list
author etisserant
Tue, 12 Feb 2008 15:38:54 +0100
changeset 393 05ad3ba0201d
parent 346 59dbdcc99264
permissions -rw-r--r--
Big cleanup in manual. Used Lyx for that.
#01-makefile
#02-makefile_examples
#03-makefile_objdictgen