summaryrefslogtreecommitdiff
path: root/tests/lean/misc-loops/lean-toolchain
diff options
context:
space:
mode:
authorSon Ho2023-06-14 11:24:58 +0200
committerSon Ho2023-06-14 11:24:58 +0200
commitccc97b46c166a45255096d3fec2444c90f7c5aaa (patch)
tree7bad8f8d07f74f292aa27a0385dcd9ac4b09be65 /tests/lean/misc-loops/lean-toolchain
parentef6204e1e1b0a21975fcd9e3d0e5aa7ec3d9125f (diff)
Make minor modifications
Diffstat (limited to 'tests/lean/misc-loops/lean-toolchain')
0 files changed, 0 insertions, 0 deletions