diff options
| author | Magnus Ahltorp <map@kth.se> | 2015-03-23 09:36:24 +0100 |
|---|---|---|
| committer | Magnus Ahltorp <map@kth.se> | 2015-03-23 09:36:24 +0100 |
| commit | f01ccd7c5577435b3025e787566be3a2855a4ac6 (patch) | |
| tree | 88fe3a3b75303938bea14ba583146f207e6ea94f /src/catlfish.hrl | |
| parent | f1398a77f43d4f00af9f161c0b8d38ceb2f1bc9e (diff) | |
Make timing printouts optional in merge.pyprecertsubmit
Diffstat (limited to 'src/catlfish.hrl')
0 files changed, 0 insertions, 0 deletions