bapt d758440fb1 Replace again GNU diff with BSD diff
After a firts failed attempt, BSD diff is now good enough to replace
GNU diff.

Relnotes:	yes
2017-04-20 19:24:51 +00:00
..
2017-03-12 18:59:16 +00:00
2015-10-15 22:55:08 +00:00