diff options
author | Son Ho | 2023-09-18 10:08:20 +0200 |
---|---|---|
committer | Son Ho | 2023-09-18 10:08:20 +0200 |
commit | 888565dd83636522564c6fcae1571735b32125da (patch) | |
tree | 774548e8855905eb33d92d37efb7bb396b060752 /static | |
parent | 242aca3092c6594206896ea62eb40395accc8459 (diff) |
Fix an issue when loading the saved theorem maps for the progress tactic
Diffstat (limited to 'static')
0 files changed, 0 insertions, 0 deletions