diff options
| author | David Aspinall | 2008-01-17 13:51:27 +0000 |
|---|---|---|
| committer | David Aspinall | 2008-01-17 13:51:27 +0000 |
| commit | c221030dca54d7728ad9965c0613e0110d67c3c4 (patch) | |
| tree | 2bbc396930aa2e5ceaab2eb816b485a56756f5a1 | |
| parent | edfa9bece8aa7e96c8f93f387560d6a7f2b476fe (diff) | |
Updated.
| -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: ;; |