summaryrefslogtreecommitdiff
path: root/dev-libs/picosat/Manifest
diff options
context:
space:
mode:
authorKarel Kočí <cynerd@email.cz>2022-01-08 20:44:20 +0100
committerKarel Kočí <cynerd@email.cz>2022-01-08 20:44:20 +0100
commit082c882c3ba911673600102b51fa8effe1e6bcae (patch)
treeec5a4f652a06347e1682425ce2528088149f4d15 /dev-libs/picosat/Manifest
parent5c2ad04aba2cefbd567e5c6a48ff92530851304b (diff)
downloadgentoo-personal-overlay-082c882c3ba911673600102b51fa8effe1e6bcae.tar.gz
gentoo-personal-overlay-082c882c3ba911673600102b51fa8effe1e6bcae.tar.bz2
gentoo-personal-overlay-082c882c3ba911673600102b51fa8effe1e6bcae.zip
profiles/desktop: drop pulseaudio
Diffstat (limited to 'dev-libs/picosat/Manifest')
0 files changed, 0 insertions, 0 deletions