K 10 svn:author V 4 bapt K 8 svn:date V 27 2015-06-20T17:15:32.995615Z K 7 svn:log V 119 Replace @dirrmtry by @dir in theory we should be able to remove it entirely but I have no time to fully check ll users END