]> gitweb.michael.orlitzky.com - sage.d.git/commit
init.sage: add an alternate sitedir name.
authorMichael Orlitzky <michael@orlitzky.com>
Sat, 1 Feb 2020 01:25:39 +0000 (20:25 -0500)
committerMichael Orlitzky <michael@orlitzky.com>
Sat, 1 Feb 2020 01:25:39 +0000 (20:25 -0500)
commitc4c38925f128b267cde1df879eba7a81d3b9d3e8
treee6e923d2ac4962741d1b5fbc0c9234cfebbb9a27
parentff9859b601e79ef3abb53d94da5c48d5ad1aa865
init.sage: add an alternate sitedir name.
init.sage