summaryrefslogtreecommitdiff
path: root/tests/lean/Makefile
diff options
context:
space:
mode:
authorSon HO2024-04-11 19:38:03 +0200
committerGitHub2024-04-11 19:38:03 +0200
commit4fb9c9f655a9ffc3b4a1a717988311c057c9c599 (patch)
treeb44f8115822ac556b7023c114c8e893f22e5f552 /tests/lean/Makefile
parent87f3f68df0ae7ec010a7364762a1b852f0cac619 (diff)
parent8894c310cd995f2f1f2abb1ca5232f98aa046274 (diff)
Merge pull request #121 from AeneasVerif/son/format
Reformat the code
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions