diff options
author | Erik Martin-Dorel <erik@martin-dorel.org> | 2018-08-23 00:01:12 +0200 |
---|---|---|
committer | Erik Martin-Dorel <erik@martin-dorel.org> | 2018-08-23 01:23:31 +0200 |
commit | 86d22428959a0f5aecef270e0f4dd7d4b5712fc3 (patch) | |
tree | 676fe59b7644498172f96b6da605745a6bf71a13 /coq/coq-autotest.el | |
parent | 3ba86af3271111cb056676c631b7caa6897e06f1 (diff) |
Fix most doc issues raised by (checkdoc)
Diffstat (limited to 'coq/coq-autotest.el')
-rw-r--r-- | coq/coq-autotest.el | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/coq/coq-autotest.el b/coq/coq-autotest.el index 9126c2ae..cecfdcf1 100644 --- a/coq/coq-autotest.el +++ b/coq/coq-autotest.el @@ -97,3 +97,7 @@ (pg-autotest timetaken 'total) (pg-autotest exit)) + +(provide 'coq-autotest) + +;;; coq-autotest.el ends here |