K 10 svn:author V 2 pi K 8 svn:date V 27 2019-01-29T20:04:44.413286Z K 7 svn:log V 57 MOVED: remove wxmaxima rename entry, we're not there yet END