Proved alternative Meet_non_clairvoyant
[rttp-proofs.git] / .gitignore
blob00c87c8c11a8b8c29330cbc9f6522103a823f506
1 output
2 *~
3 \#*\#