X-Git-Url: https://git.shemshak.org/~bandali/configs/blobdiff_plain/62e31918e9d50b3126ac3ad4fabd99b3a83ebbcb..2e54e9db1def0a2624775458b8e7f91689bedc57:/.emacs.d/init.el?ds=inline

diff --git a/.emacs.d/init.el b/.emacs.d/init.el
index a5ac8f8..13350c7 100644
--- a/.emacs.d/init.el
+++ b/.emacs.d/init.el
@@ -1333,8 +1333,6 @@ This function is intended for use with `ivy-ignore-buffers'."
 
 (eval-when-compile (defvar lean-mode-map))
 (use-package lean-mode
-  :straight (:host github :repo "leanprover/lean-mode"
-                   :fork (:repo "notbandali/lean-mode" :branch "remove-cl"))
   :defer 0.4
   :bind (:map lean-mode-map
               ("S-SPC" . company-complete))
@@ -2443,7 +2441,7 @@ https://csclub.uwaterloo.ca/~abandali")
 (use-feature ebdb-mua
   :demand
   :after ebdb
-  :custom (ebdb-mua-pop-up nil))
+  :custom (ebdb-mua-pop-up t))
 
 ;; (use-package ebdb-message
 ;;   :after ebdb)