khash: rename kh_oid_t to kh_oid_set
authorJeff King <peff@peff.net>
Thu, 20 Jun 2019 07:41:28 +0000 (03:41 -0400)
committerJunio C Hamano <gitster@pobox.com>
Thu, 20 Jun 2019 17:27:48 +0000 (10:27 -0700)
commit8fbb558...f4e911a9507295809a4d1d7d6687b6e1
treecb4c73d...524f619aff3cda2b4154620f5cc4232fcopy hash to clipboard (tree)
parent4ed43d1...d773ae5f717a258ce81a18ab3fb29435copy hash to clipboard (diff)
khash.h
oidset.c
oidset.h