OpenGrok/OpenGrok — pull request #746 by vladak (2014-02-12 15:24:45+00:00)
Title: human readable time format for duration of history index

fixes #745