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
346
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
     1
#01-makefile
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
     2
#02-makefile_examples
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
     3
#03-makefile_objdictgen