Jens Lehmann <Jens.Lehmann@xxxxxx> 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 majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html