diff options
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: ;; |