Code

gitweb: Harden "grep" search against filenames with ':'