summaryrefslogtreecommitdiff
path: root/tests/lean/External
diff options
context:
space:
mode:
authorSon Ho2024-02-13 00:27:02 +0100
committerSon Ho2024-03-08 16:53:29 +0100
commitcc7daed14342b746825eb3a72c00d58ab0d9fb73 (patch)
tree09508b0c918abd639c8796359a1ff56a444554f3 /tests/lean/External
parent169d011cbfa83d853d0148bbf6b946e6ccbe4c4c (diff)
Update Print.ml
Diffstat (limited to 'tests/lean/External')
0 files changed, 0 insertions, 0 deletions