Isabelle_DOF/.gitignore

3 lines
22 B
Plaintext