diff options
author | Bjørn Erik Pedersen <bjorn.erik.pedersen@gmail.com> | 2019-08-15 16:50:02 +0200 |
---|---|---|
committer | Bjørn Erik Pedersen <bjorn.erik.pedersen@gmail.com> | 2019-08-15 16:50:02 +0200 |
commit | 321418f22a4a94b87f01e1403a2f4a71106461fb (patch) | |
tree | 50f1e3afa7dff6059bc33f3b67e85d3194cdf863 /docs | |
parent | 7f3aab5ac283ecfc7029b680d4c0a34920e728c8 (diff) |
modules: Disable "auto tidy" for now
See #6115
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions