André Spiegel 09b7af0a1c Use "echo" as a default for $echo, otherwise we'll execute $DIFF ...

twice, and once with the wrong options.

2006-03-18 14:47:20 +00:00

2.1 KiB

Executable File

Raw Blame History

View Raw