summaryrefslogtreecommitdiff
path: root/compiler/.gitignore
diff options
context:
space:
mode:
authorSon Ho2023-06-28 12:16:10 +0200
committerSon Ho2023-06-28 12:16:10 +0200
commit19bde89b84619defc2a822c3bf96bdca9c97eee7 (patch)
treef4039967d34b887d34180212b58448a0c5d80390 /compiler/.gitignore
parent2554a0a64d761a82789b7eacbfa3ca2c88eec7df (diff)
Reorganize backends/lean/Base
Diffstat (limited to 'compiler/.gitignore')
0 files changed, 0 insertions, 0 deletions