diff options
| author |   Michał Górny <mgorny@gentoo.org> | 2023-04-08 20:41:43 +0200 |
|---|---|---|
| committer | Michał Górny <mgorny@gentoo.org> | 2023-04-08 20:45:13 +0200 |
| commit | 7894c9f5a9e37612147f6fb98605fb1a3455b101 (patch) | |
| tree | 6d4bcf08e780bec8290d4f08e342aa5af7f7a605 /media-gfx | |
| parent | media-video/parole: Remove old (diff) | |
| download | gentoo-7894c9f5a9e37612147f6fb98605fb1a3455b101.tar.gz gentoo-7894c9f5a9e37612147f6fb98605fb1a3455b101.tar.bz2 gentoo-7894c9f5a9e37612147f6fb98605fb1a3455b101.zip | |
sci-mathematics/z3: Remove old
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Diffstat (limited to 'media-gfx')
0 files changed, 0 insertions, 0 deletions