website/projects/Idris/.gitignore

3 lines
12 B
Text
Raw Permalink Normal View History

2025-01-20 17:59:22 -05:00
build/
*.*~