OpenGrok/OpenGrok — pull request #820 by vladak (2014-04-17 13:33:01+00:00)
Title: create file which stores the latest cached revision also when renamed fi...

...le handling is disabled

fixes #818