summaryrefslogtreecommitdiff
path: root/src/util.ml
Commit message (Expand)AuthorAgeFilesLines
* ./manager -local-proc 4 ./example.native does what expected.Alex AUVOLAT2014-05-241-0/+20