diff options
| author | Pierre Courtieu | 2011-01-18 10:36:42 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2011-01-18 10:36:42 +0000 |
| commit | 0e9d06327d1f8a150235da595e9ad076a53ca9be (patch) | |
| tree | 3e821b1f890d8e31be2bff5a8edef914e55871f1 | |
| parent | 7db96883fd4054bcbc9594f1b9049f5cff35933a (diff) | |
Removing a debugging message.
| -rw-r--r-- | generic/proof-utils.el | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/generic/proof-utils.el b/generic/proof-utils.el index d5ae9547..7b51443d 100644 --- a/generic/proof-utils.el +++ b/generic/proof-utils.el @@ -213,7 +213,6 @@ Leave point at END." (defun proof-safe-split-window-vertically () (if (<= (window-height) (* 2 window-min-height)) (enlarge-window (+ 3 (* 2 window-min-height)))) - (message "ICI") (split-window-vertically)) (defun proof-warn-if-unset (tag sym) |