diff options
author | Martin Odersky <odersky@gmail.com> | 2014-01-25 13:02:39 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2014-01-26 18:52:33 +0100 |
commit | 09199545d784ba36dee1899bda8a9c4ce448397c (patch) | |
tree | 37c96e50d036c0e9aa9632b9e3bdf22611ef00ec /readme.md | |
parent | 966edc4d6bb2fd4be0b8706959e24e680969b23d (diff) | |
download | dotty-09199545d784ba36dee1899bda8a9c4ce448397c.tar.gz dotty-09199545d784ba36dee1899bda8a9c4ce448397c.tar.bz2 dotty-09199545d784ba36dee1899bda8a9c4ce448397c.zip |
Add text markers around "hot" tracing operations.
That way they can be easily removed by search and replace, which gives us a clearer picture of the runtime profiles.
Diffstat (limited to 'readme.md')
0 files changed, 0 insertions, 0 deletions