On 2018-02-28, Jan Matèrne (jhm) wrote: > - build, inactive repo, last change 2007, not used any more (I think)
I don't even recall what it was :-) > If we want to migrate the site repo, we should also think about > handling the sandbox. I think we just never migrated it because it simply wasn't used. Using a single git repository for several unrelated experiments doesn't sound very git-like. Stefan --------------------------------------------------------------------- To unsubscribe, e-mail: dev-unsubscr...@ant.apache.org For additional commands, e-mail: dev-h...@ant.apache.org
