On 2007-12-13 08:27:34 -0800, Eric Wong wrote: > Being git, we can generate these very quickly on the fly as needed, > so there's no point in wasting space for these things for large > projects. Excellent! For existing repos, I assume the correct thing to do is to just blast all the existing index files manually? -- Karl Hasselström, kha@xxxxxxxxxxx www.treskal.com/kalle - 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