diff options
author | Guillaume Maudoux <guillaume.maudoux@tweag.io> | 2022-01-11 13:34:57 +0100 |
---|---|---|
committer | Guillaume Maudoux <guillaume.maudoux@tweag.io> | 2022-01-11 13:38:28 +0100 |
commit | 9f9f39a24b515d5d3ddd2bbd4cdadb0b1924bc3b (patch) | |
tree | 940203fcc69109ea39d6ab571969e093f3c04c9a /src/nlohmann | |
parent | e9a4abdb5d6fe8e128372a77d879b0187b1bacfe (diff) |
Prefer RepairFlag over bool when applicable
Diffstat (limited to 'src/nlohmann')
0 files changed, 0 insertions, 0 deletions