diff options
| author | Raghuram Subramani <raghus2247@gmail.com> | 2024-12-06 20:45:18 +0530 |
|---|---|---|
| committer | Raghuram Subramani <raghus2247@gmail.com> | 2024-12-06 20:45:18 +0530 |
| commit | b23942399870baeae376c6c9c59defd99c0e9d53 (patch) | |
| tree | e8587011933263d81b2bb01e1bb60925e253b8d0 /scripts/diff.py | |
| parent | 91c9685c00eb1273fdfb32db7fd63adafcbeb25a (diff) | |
move to scripts/
Diffstat (limited to '')
| -rwxr-xr-x[-rw-r--r--] | scripts/diff.py (renamed from diff.py) | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/diff.py b/scripts/diff.py index 226248f..349406d 100644..100755 --- a/diff.py +++ b/scripts/diff.py @@ -1,3 +1,5 @@ +#!/usr/bin/env python3 + import sys if len(sys.argv) != 3: |