diff options
| author |   Jakov Smolic <jakov.smolic@sartura.hr> | 2021-01-20 11:15:59 +0100 |
|---|---|---|
| committer |   David Seifert <soap@gentoo.org> | 2021-01-20 11:15:59 +0100 |
| commit | a5eb99172bd78c8c3ff090c555da11ed3405436f (patch) | |
| tree | 6f3a883d67a0bf96be9e1f65f4e9133239894e93 | |
| parent | sci-mathematics/wxmaxima: Remove old (diff) | |
| download | gentoo-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>
| -rw-r--r-- | sci-mathematics/agda-stdlib/files/50agda-stdlib-gentoo.el | 1 |
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")) |