diff options
| -rwxr-xr-x | tools/compare.sh (renamed from compare.sh) | 0 | ||||
| -rwxr-xr-x | tools/compare2.sh (renamed from compare2.sh) | 0 |
2 files changed, 0 insertions, 0 deletions
diff --git a/compare.sh b/tools/compare.sh index d013a88ab..d013a88ab 100755 --- a/compare.sh +++ b/tools/compare.sh diff --git a/compare2.sh b/tools/compare2.sh index 64695229e..64695229e 100755 --- a/compare2.sh +++ b/tools/compare2.sh |