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 /docs | |
parent | 415c891d641fa305e7ddbbbcc78db990dd5d3564 (diff) |
Avoid optimizing trivia for now
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions