It seems to me that
$SAGE_ROOT/local/bin/sage-sage.py
is never used for anything.  It seems to do more or less the same as
$SAGE_ROOT/local/bin/sage-sage
which is a shell script and which is called by $SAGE_ROOT/sage.

It nobody complains, I will open a ticket to remove this file.


Jeroen.

-- 
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

Reply via email to