]> gitweb.michael.orlitzky.com - bash.d.git/commitdiff
sage.sh: pass --disable-editable to ./configure.
authorMichael Orlitzky <michael@orlitzky.com>
Tue, 23 Aug 2022 20:04:22 +0000 (16:04 -0400)
committerMichael Orlitzky <michael@orlitzky.com>
Tue, 23 Aug 2022 20:04:22 +0000 (16:04 -0400)
This is how it always was, and it was always correct.


No differences found