discard_cache(): discard index, even if no file was mmap()ed
authorJohannes Schindelin <Johannes.Schindelin@gmx.de>
Thu, 10 Aug 2006 14:47:21 +0000 (16:47 +0200)
committerJunio C Hamano <junkio@cox.net>
Thu, 10 Aug 2006 21:30:01 +0000 (14:30 -0700)
commit4147d80...db66df9b127ffe315601f467aa9d1c48
treed5a401c...f1dd931b32e58e622e6407816baf49b5copy hash to clipboard (tree)
parent984b657...7e25c426a32feb9b9d46f077b605cb31copy hash to clipboard (diff)
read-cache.c