Dear William,
On Jan 7, 4:02 pm, "William Stein" <wst...@gmail.com> wrote:
> Delete
>
> local/lib/sage-flags.txt
Thank you!
Anything else to do (sage -b or so)?
Cheers
Simon
--~--~---------~--~----~------------~-------~--~----~
To post to this group, send email to sage-devel@googlegroups.com
To unsubscribe from this group, send email to
sage-devel-unsubscr...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/sage-devel
URLs: http://www.sagemath.org
-~----------~----~----~----~------~----~------~--~---
