diff options
Diffstat (limited to 'boca-1.5.1/tools')
| -rwxr-xr-x[-rw-r--r--] | boca-1.5.1/tools/etc/icpc/createbocajail.sh | 0 | ||||
| -rwxr-xr-x[-rw-r--r--] | boca-1.5.1/tools/etc/icpc/installboca.sh | 0 |
2 files changed, 0 insertions, 0 deletions
diff --git a/boca-1.5.1/tools/etc/icpc/createbocajail.sh b/boca-1.5.1/tools/etc/icpc/createbocajail.sh index bd8bd5d..bd8bd5d 100644..100755 --- a/boca-1.5.1/tools/etc/icpc/createbocajail.sh +++ b/boca-1.5.1/tools/etc/icpc/createbocajail.sh diff --git a/boca-1.5.1/tools/etc/icpc/installboca.sh b/boca-1.5.1/tools/etc/icpc/installboca.sh index 8f35e74..8f35e74 100644..100755 --- a/boca-1.5.1/tools/etc/icpc/installboca.sh +++ b/boca-1.5.1/tools/etc/icpc/installboca.sh |