·
6 commits
to 3.1.1
since this release
Fixes bug in SnapPy 3.1 (May 2023) related to loading/saving user settings.
Fixes bug in SnapPy 3.1 (May 2023) related to loading/saving user settings.