summaryrefslogtreecommitdiff
path: root/tests/examplefiles/lean
ModeNameSize
-rw-r--r--test.lean8706logplain
-rw-r--r--test.lean.output82253logplain