From 86d22428959a0f5aecef270e0f4dd7d4b5712fc3 Mon Sep 17 00:00:00 2001 From: Erik Martin-Dorel Date: Thu, 23 Aug 2018 00:01:12 +0200 Subject: Fix most doc issues raised by (checkdoc) --- lib/proof-compat.el | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) (limited to 'lib/proof-compat.el') diff --git a/lib/proof-compat.el b/lib/proof-compat.el index 4c1fa5b2..abbdb465 100644 --- a/lib/proof-compat.el +++ b/lib/proof-compat.el @@ -141,6 +141,5 @@ The value returned is the value of the last form in BODY." (if (and (symbolp this-command) (get this-command 'completion-function)) (funcall (get this-command 'completion-function))))) - -;; End of proof-compat.el (provide 'proof-compat) +;;; proof-compat.el ends here -- cgit v1.2.3