summaryrefslogtreecommitdiff
path: root/src/util.ml
Commit message (Collapse)AuthorAgeFilesLines
* Revise build system.Alex AUVOLAT2014-05-251-3/+6
|
* Add pretty colors.Alex AUVOLAT2014-05-251-1/+1
|
* CompatibilityAlex AUVOLAT2014-05-251-1/+4
|
* Nothing.Alex AUVOLAT2014-05-251-0/+2
|
* ./manager -local-proc 4 ./example.native does what expected.Alex AUVOLAT2014-05-241-0/+20