OpenGrok/OpenGrok — pull request #708 by vladak (2013-12-13 13:55:58+00:00)
Title: differentiate between raw and download

fixes #578