From 52f6fe4c39667fbd373a8070645f78802c72c621 Mon Sep 17 00:00:00 2001 From: Tom Willemse Date: Tue, 25 Jul 2023 23:29:55 -0700 Subject: [PATCH] =?UTF-8?q?Remove=20=E2=80=98Eldev=E2=80=99?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit This file is now generated from ‘build.org’ with the make file. --- .gitignore | 1 + Eldev | 5 ----- 2 files changed, 1 insertion(+), 5 deletions(-) delete mode 100644 Eldev diff --git a/.gitignore b/.gitignore index 06c7abe..e5e2b24 100644 --- a/.gitignore +++ b/.gitignore @@ -5,6 +5,7 @@ /public /posts/index.org /build.mk +/Eldev # Added automatically by `eldev init'. /.eldev diff --git a/Eldev b/Eldev deleted file mode 100644 index 6347219..0000000 --- a/Eldev +++ /dev/null @@ -1,5 +0,0 @@ -; -*- lexical-binding: t -*- - -(eldev-use-package-archive 'gnu) -(eldev-use-package-archive 'nongnu) -(eldev-use-package-archive 'melpa)