ulm 14/06/07 11:40:22
Removed: proofgeneral-4.1-emacs-24.patch
proofgeneral-4.1-image-load-path.patch
Log:
Remove redundant NEED_EMACS assignment. Remove old.
(Portage version: 2.2.10/cvs/Linux x86_64, signed Manifest commit with key
9433907D693FB5B8!)