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 | |
| parent | e5e187bfe484e0ebe7f39a3dd621267b1e2b8a97 (diff) | |
Use euro-diff for diffs
| -rw-r--r-- | .gitattributes | 1 | ||||
| -rwxr-xr-x | euro-diff | 3 |
2 files changed, 4 insertions, 0 deletions
diff --git a/.gitattributes b/.gitattributes new file mode 100644 index 0000000..12bcb23 --- /dev/null +++ b/.gitattributes @@ -0,0 +1 @@ +data/coins diff=euro-diff 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" |