2018/.gitignore

7 lines
59 B
Text

# Ignore everything without extension
*
!*/
*.in
*.hi
*.o