]> gitweb.michael.orlitzky.com - bash.d.git/commitdiff
sage: set SAGE_DEBUG=no.
authorMichael Orlitzky <michael@orlitzky.com>
Sat, 18 Jan 2020 01:14:52 +0000 (20:14 -0500)
committerMichael Orlitzky <michael@orlitzky.com>
Sat, 18 Jan 2020 01:14:52 +0000 (20:14 -0500)
This is a trinary variable, and the default (unset) leaves debugging
symbols installed.


No differences found