K 10 svn:author V 4 bapt K 8 svn:date V 27 2014-09-02T22:53:08.296423Z K 7 svn:log V 58 Replace @exec/unexec by @dirrmtry which does the same job END