That kind of feature (easily modify Sage for users) has been proposed before and I think think it will be reasonably easy to implement once we have switched to git. Right now the whole patch creation process requires too many manual steps that would have to be automatized (like dependency tracking).
On Thursday, September 5, 2013 8:47:15 AM UTC+1, mmarco wrote: > > So, let me rephrase the question: do you think it could be reasonably > simple to implement? > -- 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. For more options, visit https://groups.google.com/groups/opt_out.
