K 10 svn:author V 4 bapt K 8 svn:date V 27 2016-10-08T18:15:11.924627Z K 7 svn:log V 40 Remove badly imported heirloom-doctools END