OpenGrok/OpenGrok — pull request #704 by vladak (2013-12-06 12:44:13+00:00)
Title: show time to get the results even when no match was found

fixes #698