diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2012-02-04T13·27+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2012-02-04T13·27+0000 |
| commit | 2bda12ef3b2b1d9a0fc59324d723e3fa883ab223 (patch) | |
| tree | 774f4002ca60ddcf70888d4bff33eb4569e0bae6 /doc/dev/release-procedures.txt | |
| parent | ce86a9a0ae928f8cdbe26021b6b757bf5b9d7693 (diff) | |
* Print elapsed evaluation time.
Diffstat (limited to 'doc/dev/release-procedures.txt')
0 files changed, 0 insertions, 0 deletions