diff options
Diffstat (limited to 'third_party/git/levenshtein.h')
-rw-r--r-- | third_party/git/levenshtein.h | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/third_party/git/levenshtein.h b/third_party/git/levenshtein.h deleted file mode 100644 index 4105bf354956..000000000000 --- a/third_party/git/levenshtein.h +++ /dev/null @@ -1,8 +0,0 @@ -#ifndef LEVENSHTEIN_H -#define LEVENSHTEIN_H - -int levenshtein(const char *string1, const char *string2, - int swap_penalty, int substitution_penalty, - int insertion_penalty, int deletion_penalty); - -#endif |