diff options
author | 2023-01-04 04:10:37 -0800 | |
---|---|---|
committer | 2023-01-04 04:11:16 -0800 | |
commit | 74d8b4d9bd5f8cf7b949b01e106c33cd0f0eba0a (patch) | |
tree | ef75cac5a790232f59949980a9ee99d6dd26672a /.gitignore | |
parent | 4e4e8d285490c122b22e4ba1c025c453e556dd1e (diff) |
Suggest similar flags in case of undefined flags.
Using Damerau-Levenshtein distance to calculate potential candidates to suggest.
PiperOrigin-RevId: 499449034
Change-Id: I805aafefcd0f4f85585ac33a041c15360619c96a
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions