diff options
| author | Aleksey Kladov <[email protected]> | 2018-07-29 14:19:16 +0100 |
|---|---|---|
| committer | Aleksey Kladov <[email protected]> | 2018-07-29 14:19:16 +0100 |
| commit | 13c6a5c4b02d6436e4197c3ca93a8a5c3112a967 (patch) | |
| tree | efaeaedca21c1727976a1aa67e2c76b13feccd18 /tools | |
| parent | 415c891d641fa305e7ddbbbcc78db990dd5d3564 (diff) | |
Avoid optimizing trivia for now
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions