Pantograph/.gitignore

5 lines
34 B
Plaintext

.*
!.gitignore
*.[io]lean
/result