K 10
svn:author
V 4
bapt
K 8
svn:date
V 27
2017-04-20T19:24:51.613888Z
K 7
svn:log
V 132
Replace again GNU diff with BSD diff

After a firts failed attempt, BSD diff is now good enough to replace
GNU diff.

Relnotes:	yes

END