diff options
| author | Karel Kočí <cynerd@email.cz> | 2022-01-08 20:44:20 +0100 |
|---|---|---|
| committer | Karel Kočí <cynerd@email.cz> | 2022-01-08 20:44:20 +0100 |
| commit | 082c882c3ba911673600102b51fa8effe1e6bcae (patch) | |
| tree | ec5a4f652a06347e1682425ce2528088149f4d15 /dev-libs/picosat/Manifest | |
| parent | 5c2ad04aba2cefbd567e5c6a48ff92530851304b (diff) | |
| download | gentoo-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