Changes between Version 1 and Version 2 of Ticket #14405, comment 16


Ignore:
Timestamp:
04/03/13 14:29:20 (8 years ago)
Author:
jdemeyer
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #14405, comment 16

    v1 v2  
    1 Nevermind, got myself confused with different versions.
    2 Was: Deleting (renaming) `$SAGE_LOCAL/share` fixes this, even without recompiling.