commit: a5eb99172bd78c8c3ff090c555da11ed3405436f
Author: Jakov Smolic <jakov.smolic <AT> sartura <DOT> hr>
AuthorDate: Wed Jan 20 10:15:59 2021 +0000
Commit: David Seifert <soap <AT> gentoo <DOT> org>
CommitDate: Wed Jan 20 10:15:59 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=a5eb9917
sci-mathematics/agda-stdlib: Remove unused file
Signed-off-by: Jakov Smolic <jakov.smolic <AT> sartura.hr>
Signed-off-by: David Seifert <soap <AT> gentoo.org>
sci-mathematics/agda-stdlib/files/50agda-stdlib-gentoo.el | 1 -
1 file changed, 1 deletion(-)
diff --git a/sci-mathematics/agda-stdlib/files/50agda-stdlib-gentoo.el
b/sci-mathematics/agda-stdlib/files/50agda-stdlib-gentoo.el
deleted file mode 100644
index 62264a4451a..00000000000
--- a/sci-mathematics/agda-stdlib/files/50agda-stdlib-gentoo.el
+++ /dev/null
@@ -1 +0,0 @@
-(setq agda2-include-dirs '("." "/usr/share/agda-stdlib"))
