diff options
| author | Karel Kočí <cynerd@email.cz> | 2022-01-10 05:47:38 +0100 |
|---|---|---|
| committer | Karel Kočí <cynerd@email.cz> | 2022-01-10 05:47:38 +0100 |
| commit | 842e6aa7ff3451a831433bce29bb8a0f2726be70 (patch) | |
| tree | 961adc6ad5f99828e86dbc6b39389ca93d94cd77 /dev-libs/picosat/picosat-965.ebuild | |
| parent | 4b761fbb3d1ebddf35db674e1a1e488a417cdd97 (diff) | |
| download | gentoo-personal-overlay-842e6aa7ff3451a831433bce29bb8a0f2726be70.tar.gz gentoo-personal-overlay-842e6aa7ff3451a831433bce29bb8a0f2726be70.tar.bz2 gentoo-personal-overlay-842e6aa7ff3451a831433bce29bb8a0f2726be70.zip | |
profiles/desktop/wayland: drop clipman (missing)
Diffstat (limited to 'dev-libs/picosat/picosat-965.ebuild')
0 files changed, 0 insertions, 0 deletions