diff options
author | Michał Górny <mgorny@gentoo.org> | 2024-03-22 14:31:35 +0100 |
---|---|---|
committer | Michał Górny <mgorny@gentoo.org> | 2024-03-22 15:05:12 +0100 |
commit | 97ed8df2a004cd4fe9baedca7f50efb0f249ab02 (patch) | |
tree | 2d1bd7b32295142834e6fd721d04c84200419ddb /xfce-extra/xfce4-clipman-plugin | |
parent | x11-base/xwayland: Restore necessary bit of patch (diff) | |
download | gentoo-97ed8df2a004cd4fe9baedca7f50efb0f249ab02.tar.gz gentoo-97ed8df2a004cd4fe9baedca7f50efb0f249ab02.tar.bz2 gentoo-97ed8df2a004cd4fe9baedca7f50efb0f249ab02.zip |
dev-python/hypothesis: Remove old
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Diffstat (limited to 'xfce-extra/xfce4-clipman-plugin')
0 files changed, 0 insertions, 0 deletions