On Sun, Apr 28, 2013 at 11:35:43PM +0200, Jeroen Demeyer wrote: > I think the problem was mainly unclarity with the definition of > "module". I thought you wanted to split up the sources into > different repos, like we have now. And that's the only thing I am > against.
hi Jeroen. that's great. in fact some details were confusing witin my first proposals, as i didn't take into account the git-transition... but while we are at it: eventually, theres not even a need for a monolithic build system within <git>/src? so there's no need to change the proposal much (but make it more verbose about what a module is.), correct? thanks felix -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel?hl=en. For more options, visit https://groups.google.com/groups/opt_out.