proof-checker/.gitignore
2024-08-11 14:54:43 -07:00

3 lines
33 B
Text

**/*.du
**/*.ud
lib/github.com/*