aboutsummaryrefslogtreecommitdiff
path: root/boca-1.5.0/tools
Commit message (Collapse)AuthorAgeFiles
* updated etc.tgz filecassiopc2012-08-081
|
* many small bug fixescassiopc2012-08-084
|
* fix some concurrency issues when judging a run; update scripts to look for ↵cassiopc2012-08-061
| | | | /etc/boca.conf if it exists
* moving problem examples to better places and fixing a couple of typos in the ↵cassiopc2012-08-063
| | | | problem's interface
* setting boca.conf as the info about bocacassiopc2012-08-065
|
* include file /etc/boca.conf with info where is boca installedcassiopc2012-08-064
|
* initcassiopc2012-08-0630