bapt 00d27f7d89 Do not try to remove diff.7 optionaly has it is always removed ...

since GNU diff(1) has been replaced with BSD diff(1)

2017-10-11 14:41:11 +00:00

..

bsd.lib.mk

…

bsd.prog.mk

…

Makefile.boot

tools: minor spelling fixes.

2016-05-01 16:20:14 +00:00

OptionalObsoleteFiles.inc

Do not try to remove diff.7 optionaly has it is always removed

2017-10-11 14:41:11 +00:00