K 10 svn:author V 3 kwm K 8 svn:date V 27 2013-11-08T14:10:00.802804Z K 7 svn:log V 101 Add back gtksourceviewmm3 accidently removed in -r333211, because I didn't saved/closed my editor... END