Re: [PATCH 2/2] grep: use slash for path delimiter, not colon

Am 26.08.2013 21:56, schrieb Jeff King:

Also, prevent the delimiter being added twice, as happens now in these
examples:

  git grep -l foo HEAD:
  HEAD::some/path/to/foo.txt
       ^

Which one of these two does it print then?

    HEAD:/some/path/to/foo.txt
    HEAD:some/path/to/foo.txt

-- Hannes