diff options
Diffstat (limited to '')
| -rw-r--r-- | .gitignore | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..5ff499b --- /dev/null +++ b/.gitignore @@ -0,0 +1,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 |