diff options
| author | Thomas Voss <mail@thomasvoss.com> | 2023-06-08 16:31:06 +0200 |
|---|---|---|
| committer | Thomas Voss <mail@thomasvoss.com> | 2023-06-08 16:31:06 +0200 |
| commit | 902c63dec35e0efa4d34db77d4fe9f5ad09b1f0e (patch) | |
| tree | 0a322669c0563142d5ec6f0c8c4fa3a8172c0c46 /euro-diff | |
| parent | e5e187bfe484e0ebe7f39a3dd621267b1e2b8a97 (diff) | |
Use euro-diff for diffs
Diffstat (limited to 'euro-diff')
| -rwxr-xr-x | euro-diff | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/euro-diff b/euro-diff new file mode 100755 index 0000000..7022bba --- /dev/null +++ b/euro-diff @@ -0,0 +1,3 @@ +#!/bin/sh + +euro-diff "$2" "$5" |