mirror of
https://git.sr.ht/~sircmpwn/mkproof
synced 2026-05-03 22:20:38 +02:00
Eyal Sawady
8 lines
52 B
Plaintext
8 lines
52 B
Plaintext
build
|
|
.build
|
|
mkproof
|
|
mkchallenge
|
|
checkproof
|
|
*.o
|
|
*.1
|