diff options
author | Laurențiu Nicola <[email protected]> | 2020-07-01 18:51:09 +0100 |
---|---|---|
committer | Laurențiu Nicola <[email protected]> | 2020-07-01 18:51:09 +0100 |
commit | ddcd98f604f05034e89053b8c9cc8ab08f270aa7 (patch) | |
tree | 21058cb47eb8e00276c24ef1cd267a945cfa6f49 /editors/code/icon.png | |
parent | ec1d1a1b709a6eafff07077cdf75291d01cda3b6 (diff) |
Disable optimizations for tracing-attributes
Diffstat (limited to 'editors/code/icon.png')
0 files changed, 0 insertions, 0 deletions