diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2000-05-11 14:18:47 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2000-05-11 14:18:47 +0000 |
commit | 053c0eacf778b07c501ea7ff77d86a05cd72811e (patch) | |
tree | ec782d6013caf3377fb0a995d02054bc5dd5056a /generic/proof.el | |
parent | 8b806f7bf9d7f41ef9d3a8d05920f536f09fb3eb (diff) |
Extra arg to proof-splash-display-screen.
Diffstat (limited to 'generic/proof.el')
-rw-r--r-- | generic/proof.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof.el b/generic/proof.el index f90b7454..93eac0c4 100644 --- a/generic/proof.el +++ b/generic/proof.el @@ -19,7 +19,7 @@ (if (and proof-splash-enable (not (noninteractive))) - (proof-splash-display-screen)) + (proof-splash-display-screen t)) ; display splash ;;; |