diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2023-07-17 13:29:57 +0200 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2023-07-17 14:33:35 +0200 |
| commit | b6905ea19c7f35d1d6d34950e9224eaeee2002c7 (patch) | |
| tree | ba6a5ef9480000b3f455321af1ee900132a18db5 /app-misc | |
| parent | dev-python/selenium: Stabilize 4.10.0 ppc, #910135 (diff) | |
| download | gentoo-b6905ea19c7f35d1d6d34950e9224eaeee2002c7.tar.gz gentoo-b6905ea19c7f35d1d6d34950e9224eaeee2002c7.tar.bz2 gentoo-b6905ea19c7f35d1d6d34950e9224eaeee2002c7.zip | |
sci-mathematics/coq: remove dead code
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'app-misc')
0 files changed, 0 insertions, 0 deletions