From d0a0383fca96944a5a4ad112d6bfa60e70e9b5d8 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Wed, 22 Sep 2010 00:39:59 +0000 Subject: Trivial comment adjustment. --- generic/proof-toolbar.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/generic/proof-toolbar.el b/generic/proof-toolbar.el index 830cdc62..ab756e0b 100644 --- a/generic/proof-toolbar.el +++ b/generic/proof-toolbar.el @@ -14,7 +14,7 @@ ;; in proof-toolbar-setup. ;; ;; See `proof-toolbar-entries-default' and `-toolbar-entries' -;; in pg-custom for the default generic toolbar and +;; in pg-custom.el for the default generic toolbar and ;; the per-prover toolbar contents variable. ;; -- cgit v1.2.3