diff options
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-script.el | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/generic/proof-script.el b/generic/proof-script.el index c60ced2b..41499e31 100644 --- a/generic/proof-script.el +++ b/generic/proof-script.el @@ -2946,5 +2946,4 @@ Choice of function depends on configuration setting." (provide 'proof-script) - ;;; proof-script.el ends here |