diff options
-rwxr-xr-x | tools/formatRefs.py (renamed from formatRefs.py) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/formatRefs.py b/tools/formatRefs.py index 8189f2d..8189f2d 100755 --- a/formatRefs.py +++ b/tools/formatRefs.py |
index : eumel.git | ||
EUMEL operating system, see https://6xq.net/eumel/ | lars |
summaryrefslogtreecommitdiff |
-rwxr-xr-x | tools/formatRefs.py (renamed from formatRefs.py) | 0 |
diff --git a/formatRefs.py b/tools/formatRefs.py index 8189f2d..8189f2d 100755 --- a/formatRefs.py +++ b/tools/formatRefs.py |