From ba796435ce8ea52fc95d39e05854fb102c0db9b9 Mon Sep 17 00:00:00 2001
From: jao <jao@gnu.org>
Date: Sun, 23 May 2021 21:12:59 +0100
Subject: unused bits

---
 init.org | 32 --------------------------------
 1 file changed, 32 deletions(-)

diff --git a/init.org b/init.org
index aa271d6..532ec8c 100644
--- a/init.org
+++ b/init.org
@@ -449,19 +449,6 @@
     (setq bookmark-default-file "~/.emacs.d/emacs.bmk"
           bookmark-fontify nil)
     #+END_SRC
-*** Helpful
-    #+begin_src emacs-lisp :load no
-      (use-package helpful
-        :ensure t
-        :custom ((helpful-max-buffers 20))
-        :config
-        (setq helpful-switch-buffer-function #'pop-to-buffer-same-window)
-
-        :bind (("C-h k" . helpful-key)
-               ("C-h v" . helpful-variable)
-               ("C-h f" . helpful-callable)
-               ("C-h o" . helpful-symbol)))
-     #+end_src
 *** Inform (links in info buffers)
     #+begin_src emacs-lisp
       (use-package inform :ensure t)
@@ -2706,15 +2693,6 @@
           (venv-initialize-eshell)
           (jao-compilation-env "VIRTUAL_ENV"))
       #+end_src
-*** Coq
-    #+begin_src emacs-lisp :load no
-      (use-package proof-general
-        :ensure t)
-
-      (use-package company-coq
-        :ensure t
-        :hook (coq-mode . company-coq-mode))
-    #+end_src
 *** JSON
     #+BEGIN_SRC emacs-lisp
       (use-package json-mode :ensure t)
@@ -2913,16 +2891,6 @@
               (erc-cmd-MSG (format "nickserv RELEASE %s" (car fn)))
               (erc-cmd-NICK (car fn))))
         #+end_src
-***** Images
-        #+begin_src emacs-lisp :load no
-          (use-package erc-image
-            :ensure t
-            :after erc
-            :init (setq erc-image-inline-rescale 'window)
-            :config
-            (add-to-list 'erc-modules 'image)
-            (erc-update-modules))
-        #+end_src
 ***** Startup
         #+begin_src emacs-lisp
         (defun jao-erc (&optional yes)
-- 
cgit v1.2.3