OpenGrok/OpenGrok — pull request #805 by vladak (2014-03-19 22:05:02+00:00)
Title: prefix entry with backslash if it does not start with it

fixes #800