K 10
svn:author
V 6
adridg
K 8
svn:date
V 27
2018-12-30T20:28:23.862941Z
K 7
svn:log
V 251
Update devel/kdevelop (and related) to latest 5.3.1 release.

Changelog: https://www.kdevelop.org/news/kdevelop-531-released

A handful of bugfixes, but most importantly, drop the cvs plugin.
This didn't work (anymore) in 5.3.0, now entirely removed.

END