OpenGrok/OpenGrok — pull request #713 by vladak (2014-01-02 14:39:46+00:00)
Title: do not assume that the build happens in git repo or archived git repo

fixes #712