Ticket #9433: 9433_install.diff
File 9433_install.diff, 279 bytes (added by , 10 years ago) |
---|
-
install
old new 383 383 SAGE=`$newest sage` 384 384 export SAGE 385 385 386 SAGE_ROOT_REPO=`$newest sage_root` 387 export SAGE_ROOT_REPO 388 386 389 SAGE_SCRIPTS=`$newest sage_scripts` 387 390 export SAGE_SCRIPTS 388 391