diff options
author | Ladar Levison <ladar@lavabit.com> | 2018-08-06 09:16:00 +0300 |
---|---|---|
committer | Ladar Levison <ladar@lavabit.com> | 2018-08-06 11:18:41 +0300 |
commit | 6a2b72d1ba5915a3ebc915e1586ad5bcda2120b0 (patch) | |
tree | 8c564e8c617bc81bb185e364953ca6e2a5e6c3cf /web/blocks/main.wrkspcswrp.wrkspcwrp.tool-options.mark.html | |
parent | 81ef879ef040e9db970d03980aabbe90d82b24b5 (diff) |
Minor improvements intended to make profiling magma easier.
Diffstat (limited to 'web/blocks/main.wrkspcswrp.wrkspcwrp.tool-options.mark.html')
0 files changed, 0 insertions, 0 deletions