Changes between Version 14 and Version 16 of Ticket #9989


Ignore:
Timestamp:
06/13/11 17:15:45 (10 years ago)
Author:
burcin
Comment:

Good catch. Thanks, Francois.

I uploaded a new patch that just changes module_list.py to use SAGE_LOCAL instead of SAGE_ROOT.

Francois, why don't you open a ticket to rename SAGE_ROOT in module_list.py to something like SAGE_ROOT_DO_NOT_USE with a comment above it to point out why SAGE_LOCAL is better.

Legend:

Unmodified
Added
Removed
Modified