Remove PG from emacs conf
Getty Ritter
6 years ago
1 changed file(s) with
0 addition(s)
and
2 deletion(s)
.
Collapse all
Expand all
+0
-2
emacs.el
less
more
1
1
;; basic appearance bits
2
3
(load "ProofGeneral/generic/proof-site")
4
2
5
3
(setq initial-scratch-message "")
6
4
(setq inhibit-startup-message t)