4 lines
21 B
Text
4 lines
21 B
Text
|
*~
|
||
|
|
.lean_trace
|
||
|
|
a.out
|