debian/patches/00list
author greg
Mon, 31 Dec 2007 10:41:36 +0100
changeset 347 1bded8bd8997
parent 346 59dbdcc99264
permissions -rw-r--r--
change name for control-peak to control-peak_linux
#01-makefile
#02-makefile_examples
#03-makefile_objdictgen