/tools/etc/icpc/

• ../
• becomeserver.sh
• bocaserver.sh
• cleandisk.sh
• createbocajail.sh
• doclean.sh
• installboca.sh
• restart.sh
• setup.sh
• update.sh
• update.sh.tmp
• updatedbpass.sh