diff options
| author |   Michał Górny <mgorny@gentoo.org> | 2022-09-23 15:11:00 +0200 |
|---|---|---|
| committer | Michał Górny <mgorny@gentoo.org> | 2022-09-23 15:51:40 +0200 |
| commit | 047311eee03f21459e4d9641bb91c7372bffdb2b (patch) | |
| tree | 5eadbecba23df912ff6efea1f4897ea26f282fb3 /app-editors | |
| parent | games-roguelike/stone-soup: request deprecated lua-5.1 API (diff) | |
| download | gentoo-047311eee03f21459e4d9641bb91c7372bffdb2b.tar.gz gentoo-047311eee03f21459e4d9641bb91c7372bffdb2b.tar.bz2 gentoo-047311eee03f21459e4d9641bb91c7372bffdb2b.zip | |
sci-mathematics/z3: Remove old
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Diffstat (limited to 'app-editors')
0 files changed, 0 insertions, 0 deletions