>> >> and neither he could find the Sage script for it. Can someone please >> point us in the right direction? :) > > sage -startuptime > > (implemented in $SAGE_ROOT/local/bin/sage-startuptime.py)
That's it, thanks a lot! I was blind. Ondrej --~--~---------~--~----~------------~-------~--~----~ 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 -~----------~----~----~----~------~----~------~--~---
