OpenGrok/OpenGrok — pull request #756 by vladak (2014-02-21 08:46:55+00:00)
Title: make the script work on OS X

fixes #687