Tidied a bit the printing.
authorFrancois Fleuret <francois@fleuret.org>
Mon, 5 Dec 2016 16:25:38 +0000 (17:25 +0100)
committerFrancois Fleuret <francois@fleuret.org>
Mon, 5 Dec 2016 16:25:38 +0000 (17:25 +0100)
commit40c92fc3324ed00f30d0f01f6b6c4010b2a1e1fe
tree4372b73cbf07ef38f198ef0c600af865a9e6ed3a
parent4ed0c97b543f69caac452b7775a5ca57d017637a
Tidied a bit the printing.
profiler.lua