summaryrefslogtreecommitdiff
path: root/src/util.ml
Commit message (Expand)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