Jens Lehmann <> writes:

> Am 29.05.2014 04:07, schrieb Jonathan Leonard:
>> The title pretty much says it all.
> But you do not give much information about your special use
> case.

Perhaps "git grep insteadOf Documentation/" is all that is needed?
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to
More majordomo info at

Reply via email to