aboutsummaryrefslogtreecommitdiff
path: root/emacs/.emacs.d/init/ycp-package.el
diff options
context:
space:
mode:
Diffstat (limited to 'emacs/.emacs.d/init/ycp-package.el')
-rw-r--r--emacs/.emacs.d/init/ycp-package.el2
1 files changed, 1 insertions, 1 deletions
diff --git a/emacs/.emacs.d/init/ycp-package.el b/emacs/.emacs.d/init/ycp-package.el
index ff0d498..3662b53 100644
--- a/emacs/.emacs.d/init/ycp-package.el
+++ b/emacs/.emacs.d/init/ycp-package.el
@@ -41,7 +41,7 @@
(t
(setq my-omit-packages
'(typescript-mode tide web-mode flycheck ggtags crystal-mode
- proof-general sml-mode emms my-emms erc mastodon))))
+ sml-mode emms my-emms erc mastodon))))
(my-read-local-config)
;; only start server on default profile