Mercurial > hg > truffle
diff make/jprt.properties @ 2901:d577d07cedec
Added time measurement for phases.
author | Thomas Wuerthinger <thomas@wuerthinger.net> |
---|---|
date | Wed, 08 Jun 2011 17:01:16 +0200 |
parents | f7702f8c0e25 |
children | 03b943e6c025 |
author | Thomas Wuerthinger <thomas@wuerthinger.net> |
---|---|
date | Wed, 08 Jun 2011 17:01:16 +0200 |
parents | f7702f8c0e25 |
children | 03b943e6c025 |