summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorSon Ho2023-11-06 18:49:27 +0100
committerSon Ho2023-11-06 18:49:27 +0100
commitc8fce0c24f2f5331f2f1135cc17d45192f2b30e3 (patch)
tree40ce27098cba71a3f24fea32561f8713ca3dcfc1 /.gitignore
parent16c094457d0b23f5a9e1ea60e3195cc452ed7c43 (diff)
Regenerate part of the trait tests for Lean
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions