From e1640aa343f3b7c050ad525b508cea2ee9a48ce4 Mon Sep 17 00:00:00 2001 From: Yuchen Pei Date: Mon, 3 Jul 2023 20:11:53 +1000 Subject: minor changes --- emacs/.emacs.d/init/ycp-prog.el | 5 ----- 1 file changed, 5 deletions(-) (limited to 'emacs/.emacs.d/init/ycp-prog.el') 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) -- cgit v1.2.3