K 10 svn:author V 4 bapt K 8 svn:date V 27 2016-12-26T12:39:25.052156Z K 7 svn:log V 107 Do not pause in pr(1) to have the same behaviour as GNU diff Use execl instead of execv to avoid warnings END