diff options
| author |   Michael Mair-Keimberger (asterix) <m.mairkeimberger@gmail.com> | 2017-08-09 11:35:32 +0200 |
|---|---|---|
| committer |   David Seifert <soap@gentoo.org> | 2017-08-13 13:24:17 +0200 |
| commit | 494fc45e463b81f1baa77f324948e5f9d50478b7 (patch) | |
| tree | 9b03c462376ac6e20b7f799360bc0b2044dae1fa /dev-lang/maude | |
| parent | sci-libs/openlibm: remove unused patch (diff) | |
| download | gentoo-494fc45e463b81f1baa77f324948e5f9d50478b7.tar.gz gentoo-494fc45e463b81f1baa77f324948e5f9d50478b7.tar.bz2 gentoo-494fc45e463b81f1baa77f324948e5f9d50478b7.zip | |
app-office/texmacs: remove unused file
Closes: https://github.com/gentoo/gentoo/pull/5370
Diffstat (limited to 'dev-lang/maude')
0 files changed, 0 insertions, 0 deletions