On 4/20/11 7:24 PM, Robert Dodier wrote:
> There is definitely some fossilized stuff in the repo which we can
> just give the axe. htdocs is the web stuff, so it needs to remain active,
> although we can consider moving it into its own repo.
> But izic, maxima-pre59, maybe others, can be simply nuked.
> (I expect that they will remain in the repo history; that's
> all well and good.)
If they're still in the repo, won't they still be downloaded locally
when you clone the repo? Not so nice for people who are on a slow
link. I guess they're not big, but still....
Ray