Jens Lehmann <[email protected]> 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 [email protected] More majordomo info at http://vger.kernel.org/majordomo-info.html
