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 /media-libs/dumb | |
| 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>
Diffstat (limited to 'media-libs/dumb')
0 files changed, 0 insertions, 0 deletions