write_index(): update index_state->timestamp after flushing to disk
authorKjetil Barvik <barvik@broadpark.no>
Mon, 23 Feb 2009 18:02:57 +0000 (19:02 +0100)
committerJunio C Hamano <gitster@pobox.com>
Tue, 24 Feb 2009 02:04:20 +0000 (18:04 -0800)
commite1afca4...d3e7cb4000874e991277f10119de4ad2
treec71e47c...10fafa7042ebebe3d70a22ae1c125d02copy hash to clipboard (tree)
parent1dcafcc...e639ecc69b54421bda5f2270ed2601ebcopy hash to clipboard (diff)
cache.h
read-cache.c