summaryrefslogtreecommitdiff
path: root/tests/lean/lean-toolchain
diff options
context:
space:
mode:
authorSon Ho2023-12-18 10:11:44 +0100
committerSon Ho2023-12-18 10:11:44 +0100
commit2fb4ca72b112f6181d74d1ca37ed6d54c65f43cd (patch)
tree3be605c79e34a271f7d1785f07546c4ab61ac4f3 /tests/lean/lean-toolchain
parent58b838594777b1489b31db40bba27b5fca355a73 (diff)
Do not register the names of the back funs if they are merged with the fwd funs
Diffstat (limited to 'tests/lean/lean-toolchain')
0 files changed, 0 insertions, 0 deletions