diff options
Diffstat (limited to 'scripts')
| -rw-r--r--[-rwxr-xr-x] | scripts/setup-path.py | 0 | ||||
| -rw-r--r--[-rwxr-xr-x] | scripts/template_verifier.py | 0 |
2 files changed, 0 insertions, 0 deletions
diff --git a/scripts/setup-path.py b/scripts/setup-path.py index 157bda0027..157bda0027 100755..100644 --- a/scripts/setup-path.py +++ b/scripts/setup-path.py diff --git a/scripts/template_verifier.py b/scripts/template_verifier.py index adcfcbcae6..adcfcbcae6 100755..100644 --- a/scripts/template_verifier.py +++ b/scripts/template_verifier.py |