On Mon, Oct 29, 2012 at 08:12:46AM +0100, Jakub Narębski wrote:
> > Jakub, can you confirm the intent and a fix like the one above makes
> > things better?
> Yes, either of those makes things better.
> > (unless highlight does this extension
> > mapping
> > itself, but then why are we doing it here?).
> Highlight does extension mapping itself... but for that it needs file name,
> and not to be feed file contents from pipe.
Ah, that makes sense.
Richard, do you want to roll a patch that fixes it?
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majord...@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html