K 10
svn:author
V 6
adridg
K 8
svn:date
V 27
2018-12-20T11:31:27.299709Z
K 7
svn:log
V 315
Update deskutils/semantik (mind-mapping tool) to its Qt5-and-KF5 version.

Drop USE_OCAML, that does not seem to be used at all in the newer
version. There may be some quirks left: the application starts and
I can draw mind-maps with it, but the preview seems to be disabled.
Some translations are missing as well.

END