diff options
author | Elijah Newren <newren@gmail.com> | 2020-03-14 19:15:47 +0000 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2020-03-15 15:44:25 -0700 |
commit | 757c2ba3e2b2b9ce2d3812cdf132dc08b901195b (patch) | |
tree | ab09ff25b8ffd5352aa5f91d64dea9358c5d82c4 /Documentation/git-instaweb.txt | |
parent | Git 2.20.2 (diff) | |
download | tgif-757c2ba3e2b2b9ce2d3812cdf132dc08b901195b.tar.xz |
oidset: remove unnecessary include
When commit 8b2f8cbcb1 ("oidset: use khash", 2018-10-04) moved from
using oidmap to khash, it replaced the oidmap.h include with both one
for hashmap.h and khash.h. Since the hashmap.h header is unnecessary,
and the point of the patch was to switch from hashmap (used by oidmap)
to khash.h, remove the unneccessary include.
Signed-off-by: Elijah Newren <newren@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/git-instaweb.txt')
0 files changed, 0 insertions, 0 deletions