diff options
| author |   Andreas Sturmlechner <asturm@gentoo.org> | 2018-03-28 23:43:07 +0200 |
|---|---|---|
| committer | Andreas Sturmlechner <asturm@gentoo.org> | 2018-03-28 23:45:22 +0200 |
| commit | 12272bc5a86369f1b7d7b89e84f3db2a359d28ef (patch) | |
| tree | 470d293999db10bde79e04393da360cc2c82a1c8 /dev-tex | |
| parent | profiles: Drop obsolete media-gfx/pencil mask (diff) | |
| download | gentoo-12272bc5a86369f1b7d7b89e84f3db2a359d28ef.tar.gz gentoo-12272bc5a86369f1b7d7b89e84f3db2a359d28ef.tar.bz2 gentoo-12272bc5a86369f1b7d7b89e84f3db2a359d28ef.zip | |
app-text/searchmonkey: Remove last-rited package
Closes: https://bugs.gentoo.org/644534
Diffstat (limited to 'dev-tex')
0 files changed, 0 insertions, 0 deletions