junkblocker/codesearch — pull request #2 by pmezard (2013-08-17 17:36:05+00:00)
Title: index: fix index merging on windows

Rename fails on Windows if destination exists.

The following sequence will now correctly work:

$ cindex a
$ cindex b

instead of silently failing to update the index with b content.