diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2008-01-17 13:51:27 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2008-01-17 13:51:27 +0000 |
| commit | c221030dca54d7728ad9965c0613e0110d67c3c4 (patch) | |
| tree | 2bbc396930aa2e5ceaab2eb816b485a56756f5a1 /generic/pg-autotest.el | |
| parent | edfa9bece8aa7e96c8f93f387560d6a7f2b476fe (diff) | |
Updated.
Diffstat (limited to 'generic/pg-autotest.el')
| -rw-r--r-- | generic/pg-autotest.el | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/generic/pg-autotest.el b/generic/pg-autotest.el index acb3bcef..a8185557 100644 --- a/generic/pg-autotest.el +++ b/generic/pg-autotest.el @@ -16,9 +16,6 @@ ;; $Id$ (require 'proof) -(require 'proof-script) -(require 'pg-user) - ;;; Commentary: ;; |