diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2008-01-31 22:07:52 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2008-01-31 22:07:52 +0000 |
commit | 218bbd856ce2983dba8b0863319eb7118655f59f (patch) | |
tree | 2a3261daffb6e500b78ab6b741eeae5c0e88ceec /generic | |
parent | 1bfd9faf032ec2a92f8c14ae4327a6bcfb7772c8 (diff) |
comment: proof-compat not needed for pg-defface-window-systems (but leave in now)
Diffstat (limited to 'generic')
-rw-r--r-- | generic/proof-utils.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof-utils.el b/generic/proof-utils.el index 24988a7c..c0b54cbc 100644 --- a/generic/proof-utils.el +++ b/generic/proof-utils.el @@ -48,7 +48,7 @@ ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; -(require 'proof-compat) ; for pg-defface-window-systems +(require 'proof-compat) ; (require 'proof-config) ; config vars (require 'bufhist) ; bufhist (require 'proof-syntax) ; syntax utils |