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!)

Reply via email to