diff options
author | Andrius Štikonas <andrius@stikonas.eu> | 2019-05-02 20:39:46 +0100 |
---|---|---|
committer | Andreas Sturmlechner <asturm@gentoo.org> | 2019-05-08 19:03:15 +0200 |
commit | ac3699d744c65501a272f51d90a03e29526c4050 (patch) | |
tree | 319b71cffe815aed6494b9e21f91eda29e95ab2b /x11-plugins/wmtime | |
parent | dev-util/edi: remove old 0.7.0 (diff) | |
download | gentoo-ac3699d744c65501a272f51d90a03e29526c4050.tar.gz gentoo-ac3699d744c65501a272f51d90a03e29526c4050.tar.bz2 gentoo-ac3699d744c65501a272f51d90a03e29526c4050.zip |
sys-libs/kpmcore: bump version to 4.0.0
Signed-off-by: Andrius Štikonas <andrius@stikonas.eu>
Closes: https://github.com/gentoo/kde/pull/879
Signed-off-by: Andreas Sturmlechner <asturm@gentoo.org>
Diffstat (limited to 'x11-plugins/wmtime')
0 files changed, 0 insertions, 0 deletions