summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJakov Smolic <jakov.smolic@sartura.hr>2021-01-20 11:15:59 +0100
committerDavid Seifert <soap@gentoo.org>2021-01-20 11:15:59 +0100
commita5eb99172bd78c8c3ff090c555da11ed3405436f (patch)
tree6f3a883d67a0bf96be9e1f65f4e9133239894e93 /sci-mathematics
parentsci-mathematics/wxmaxima: Remove old (diff)
downloadgentoo-a5eb99172bd78c8c3ff090c555da11ed3405436f.tar.gz
gentoo-a5eb99172bd78c8c3ff090c555da11ed3405436f.tar.bz2
gentoo-a5eb99172bd78c8c3ff090c555da11ed3405436f.zip
sci-mathematics/agda-stdlib: Remove unused file
Signed-off-by: Jakov Smolic <jakov.smolic@sartura.hr> Signed-off-by: David Seifert <soap@gentoo.org>
Diffstat (limited to 'sci-mathematics')
-rw-r--r--sci-mathematics/agda-stdlib/files/50agda-stdlib-gentoo.el1
1 files changed, 0 insertions, 1 deletions
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 62264a4451a0..000000000000
--- a/sci-mathematics/agda-stdlib/files/50agda-stdlib-gentoo.el
+++ /dev/null
@@ -1 +0,0 @@
-(setq agda2-include-dirs '("." "/usr/share/agda-stdlib"))