Hypolite Petovan 74ce4c2710 Makes save_timestamp conditional
- Add a .htconfig check to save_timestamp to prevent systematic
profiling
- Removes unused `mark_timestamp()` function including deleted code
comment
2016-10-21 22:50:58 -04:00
..
2013-04-23 03:27:52 -04:00