diff options
| author | René 'Necoro' Neumann <necoro@necoro.net> | 2012-09-05 10:31:13 +0200 |
|---|---|---|
| committer | René 'Necoro' Neumann <necoro@necoro.net> | 2012-09-05 10:31:14 +0200 |
| commit | 8bb4601eb9aace9c9e991bf3549a6e1ac6e57b1d (patch) | |
| tree | f78f12ceafa786f954aff0ff5407f7208e123bee /.emacs.d | |
| parent | c43330157961612a211e16d4381ae536d15370fa (diff) | |
| download | dotfiles-8bb4601eb9aace9c9e991bf3549a6e1ac6e57b1d.tar.gz dotfiles-8bb4601eb9aace9c9e991bf3549a6e1ac6e57b1d.tar.bz2 dotfiles-8bb4601eb9aace9c9e991bf3549a6e1ac6e57b1d.zip | |
enhance isabelle-repair
Diffstat (limited to '.emacs.d')
| -rw-r--r-- | .emacs.d/evil-settings.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.emacs.d/evil-settings.el b/.emacs.d/evil-settings.el index 90d0396..9821a4f 100644 --- a/.emacs.d/evil-settings.el +++ b/.emacs.d/evil-settings.el @@ -13,7 +13,7 @@ ; make unicode-tokens work (setq repair-unicode-shortcuts '(progn - (print "Repairing Unicode Shortcuts for Evil") + (message "Repairing Unicode Shortcuts for Evil") (unicode-tokens-use-shortcuts 0) (unicode-tokens-use-shortcuts 1))) |