Files

8 lines
52 B
Plaintext

build
.build
mkproof
mkchallenge
checkproof
*.o
*.1