Andrey Slusar 5a404d2004 Fix deinstall and unbroke port. ...

PR:		ports/109930
Submitted by:	Timothy Bourke (maintainer)

2007-03-05 19:38:17 +00:00

..

patch-doc-Makefile.doc

…

patch-etc_desktop_proofgeneral.desktop

…

patch-isa_isabelle-system.el

…

patch-Makefile

Fix deinstall and unbroke port.

2007-03-05 19:38:17 +00:00

pkg-message.in

…