diff options
Diffstat (limited to 'tools/boca-submit-run-root')
| -rwxr-xr-x[-rw-r--r--] | tools/boca-submit-run-root | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/tools/boca-submit-run-root b/tools/boca-submit-run-root index 21ecbc6..21ecbc6 100644..100755 --- a/tools/boca-submit-run-root +++ b/tools/boca-submit-run-root |