diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/execute_command.sh (renamed from tools/may_execute_command.sh) | 0 | ||||
| -rw-r--r-- | tools/execute_js_code.js (renamed from tools/may_execute_js_code.js) | 0 | ||||
| -rw-r--r-- | tools/execute_py_code.py (renamed from tools/may_execute_py_code.py) | 0 |
3 files changed, 0 insertions, 0 deletions
diff --git a/tools/may_execute_command.sh b/tools/execute_command.sh index 6acc021..6acc021 100755 --- a/tools/may_execute_command.sh +++ b/tools/execute_command.sh diff --git a/tools/may_execute_js_code.js b/tools/execute_js_code.js index 4706e07..4706e07 100644 --- a/tools/may_execute_js_code.js +++ b/tools/execute_js_code.js diff --git a/tools/may_execute_py_code.py b/tools/execute_py_code.py index 5f6af2f..5f6af2f 100644 --- a/tools/may_execute_py_code.py +++ b/tools/execute_py_code.py |