diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2021-07-08 16:16:25 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-07-08 21:16:25 +0000 |
commit | fb2f314ac9a187538bfa2c09f2d8bdc3465804a9 (patch) | |
tree | 61cab6663b84158a28e22add1de88f1b5e54afff /CONTRIBUTING.md | |
parent | a4e5c52452519067da198dc31991dc4c92877fcb (diff) |
Disable ordering heuristic for justification by default (#6848)
Diffstat (limited to 'CONTRIBUTING.md')
0 files changed, 0 insertions, 0 deletions