diff options
Diffstat (limited to 'third_party/git/varint.h')
| -rw-r--r-- | third_party/git/varint.h | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/third_party/git/varint.h b/third_party/git/varint.h deleted file mode 100644 index f78bb0ca528d..000000000000 --- a/third_party/git/varint.h +++ /dev/null @@ -1,7 +0,0 @@ -#ifndef VARINT_H -#define VARINT_H - -int encode_varint(uintmax_t, unsigned char *); -uintmax_t decode_varint(const unsigned char **); - -#endif /* VARINT_H */ |