mirror of
git://git.sv.gnu.org/coreutils.git
synced 2026-06-03 16:26:27 +02:00
a95d10ec54
Besides, with GNU diff one can use the DIFF_OPTIONS envvar.