Erwin Lansing 70480582d4 Remove zero-sized files.		2006-07-10 20:44:48 +00:00
..
patch-doc-Makefile.doc	- Update to 3.6	2006-05-01 18:00:51 +00:00
patch-etc_desktop_proofgeneral.desktop	- Update to 3.6	2006-05-01 18:00:51 +00:00
patch-isa_isabelle-system.el	- Update to 3.6	2006-05-01 18:00:51 +00:00
patch-Makefile	- Update to 3.6	2006-05-01 18:00:51 +00:00
pkg-message.in