OpenGrok/OpenGrok — pull request #766 by vladak (2014-02-27 16:59:32+00:00)
Title: implement incremenal history index for file based repository

fixes #729

passes Jenkins