K 10 svn:author V 7 antoine K 8 svn:date V 27 2013-09-07T11:02:38.859931Z K 7 svn:log V 67 Do not try to remove directories that are part of BSD.include.dist END