diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2008-01-26 22:01:46 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2008-01-26 22:01:46 +0000 |
commit | 557761a55cc795e8c3792e2a7f9cc26d33714041 (patch) | |
tree | 71b8c2fafd8517e62d353fa2b3c1a8c942032f16 /generic | |
parent | 9f07e0867be8787fe1a65756f3ae162c352d9d3e (diff) |
Updated.
Diffstat (limited to 'generic')
-rw-r--r-- | generic/pg-pgip.el | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/generic/pg-pgip.el b/generic/pg-pgip.el index 9c8865da..282aaef8 100644 --- a/generic/pg-pgip.el +++ b/generic/pg-pgip.el @@ -29,7 +29,6 @@ (require 'cl) ; incf (require 'pg-xml) -(require 'pg-pgip-old) ;; Handle some PGIP 1.X format messages (require 'proof-config) ;; config variables ;;; Code: |