diff options
author | Yuchen Pei <id@ypei.org> | 2023-07-03 20:11:53 +1000 |
---|---|---|
committer | Yuchen Pei <id@ypei.org> | 2023-07-03 20:11:53 +1000 |
commit | e1640aa343f3b7c050ad525b508cea2ee9a48ce4 (patch) | |
tree | 59c80d81ec3f9ace008b3993402e2261b274867f /emacs/.emacs.d/init/ycp-prog.el | |
parent | 5686d46326931ad67615086c7eaffb2013fae6d9 (diff) |
minor changes
Diffstat (limited to 'emacs/.emacs.d/init/ycp-prog.el')
-rw-r--r-- | emacs/.emacs.d/init/ycp-prog.el | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/emacs/.emacs.d/init/ycp-prog.el b/emacs/.emacs.d/init/ycp-prog.el index c6a5610..3426665 100644 --- a/emacs/.emacs.d/init/ycp-prog.el +++ b/emacs/.emacs.d/init/ycp-prog.el @@ -416,11 +416,6 @@ (:delay 60) (require 'flycheck-crystal)) -(my-package imenu - (:delay 5) - (my-keybind global-map "C-c i" #'imenu) - ) - ;;; proof-general (my-package proof-general (:install t) |