diff options
| author | Ginger Bill <bill@gingerbill.org> | 2017-07-07 15:26:49 +0100 |
|---|---|---|
| committer | Ginger Bill <bill@gingerbill.org> | 2017-07-07 15:26:49 +0100 |
| commit | 773cf5ca08de0476b0b8b1ae4c25ac6da62a8059 (patch) | |
| tree | 203717ab20c5772f5b4ae720ed8f92df504f6340 /code | |
| parent | 2db03cb4a54eaa594ca0d3ccb6819a8d56e7efed (diff) | |
Add `-show-timings`; Clean up polymorphic procedure code a bit
Diffstat (limited to 'code')
0 files changed, 0 insertions, 0 deletions