summaryrefslogtreecommitdiffstats
path: root/.gitignore
blob: 5ff499bc0e1ef604f0875afb4b614ed18b2602ee (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
.DS_Store*

# These directories are meant for installing files generated inside the dev/ directory
# They are in the git repo only so that students will checkout the intended directory
# structure from the start, but we do not want to add anything inside them to git.
# So, we ignore all files inside the directories except for a README.

bin/*
!bin/README.md

include/*
!include/README.md

lib/*
!lib/README.md

share/*
!share/README.md