Dear William, On Sep 20, 5:47 pm, "William Stein" <[EMAIL PROTECTED]> wrote: > You probably didn't properly merge hg_scripts or something. Try > > sage: hg_scripts.merge()
I don't know how I managed to not properly merge hg_scripts. But the banner is now updated. Thank you! Simon --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to sage-devel@googlegroups.com To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://www.sagemath.org -~----------~----~----~----~------~----~------~--~---