]> gitweb.michael.orlitzky.com - sage.d.git/tree
init.sage: add an alternate sitedir name.
-rw-r--r-- 502 README
-rw-r--r-- 232 init.sage
-rw-r--r-- 113 makefile
drwxr-xr-x - mjo