diff -r f912f8d26e98 -r 1ca55c717660 debian/patches/00list --- a/debian/patches/00list Mon Mar 02 09:30:08 2009 +0100 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,3 +0,0 @@ -#01-makefile -#02-makefile_examples -#03-makefile_objdictgen