On 2012-03-15 16:01, Keshav Kini wrote: > Thanks! Again, I would be more than willing to try to make the changes > myself, or at least some of them, if I can. Can you confirm that the > latest version of your merger script (i.e. the one I should play with) > is in /home/jdemeyer/merger12618/ on boxen? Yes (in case you're wondering: the 12618 refers to a ticket that this script depends on).
I guess you should be looking mostly at merge.sh and notes.sh > Do you have your merger script under any kind of revision control? No. -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org