diff options
author | 2022-10-06 16:17:22 +0200 | |
---|---|---|
committer | 2022-10-06 16:27:36 +0200 | |
commit | 8e0e6163545ce31c7a59651fdab122b45e4b747c (patch) | |
tree | d9cb144fa97a47a5de1e25aef6838bb8e6468165 /net-dns | |
parent | dev-python/OutputCheck: new package; add version 0.4.2 (diff) | |
download | gentoo-8e0e6163545ce31c7a59651fdab122b45e4b747c.tar.gz gentoo-8e0e6163545ce31c7a59651fdab122b45e4b747c.tar.bz2 gentoo-8e0e6163545ce31c7a59651fdab122b45e4b747c.zip |
dev-lang/boogie: enable tests
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'net-dns')
0 files changed, 0 insertions, 0 deletions