diff options
-rwxr-xr-x | tools/demo.sh (renamed from demo.sh) | 0 | ||||
-rwxr-xr-x | tools/hex.sh (renamed from hex.sh) | 0 | ||||
-rwxr-xr-x | tools/test.sh (renamed from test.sh) | 0 |
3 files changed, 0 insertions, 0 deletions
diff --git a/demo.sh b/tools/demo.sh index 50e48e496..50e48e496 100755 --- a/demo.sh +++ b/tools/demo.sh diff --git a/test.sh b/tools/test.sh index 9201da618..9201da618 100755 --- a/test.sh +++ b/tools/test.sh |