summaryrefslogtreecommitdiff
path: root/backends/lean/.gitignore
diff options
context:
space:
mode:
authorSon Ho2023-09-18 10:08:20 +0200
committerSon Ho2023-09-18 10:08:20 +0200
commit888565dd83636522564c6fcae1571735b32125da (patch)
tree774548e8855905eb33d92d37efb7bb396b060752 /backends/lean/.gitignore
parent242aca3092c6594206896ea62eb40395accc8459 (diff)
Fix an issue when loading the saved theorem maps for the progress tactic
Diffstat (limited to 'backends/lean/.gitignore')
0 files changed, 0 insertions, 0 deletions