summaryrefslogtreecommitdiff
path: root/backends/lean/.gitignore
diff options
context:
space:
mode:
authorNadrieril2024-06-17 11:18:38 +0200
committerNadrieril2024-06-17 11:18:38 +0200
commit02b33a77cc3cba06e9abc910784a5d4d7b8b28cd (patch)
treeabc470cab0fa5c8a9b51c8d9c03287285358f92d /backends/lean/.gitignore
parent98ddb24f199e177a34647fa2cf5f3bd2e96d71cf (diff)
Update charon
Diffstat (limited to 'backends/lean/.gitignore')
0 files changed, 0 insertions, 0 deletions