diff options
| author | unknown <paulx161@umn.edu> | 2021-01-18 19:36:15 -0600 |
|---|---|---|
| committer | unknown <paulx161@umn.edu> | 2021-01-18 19:36:15 -0600 |
| commit | 8886c3d660ef857bd72d695d39e5eafd19992c38 (patch) | |
| tree | 1b267e3312363e0009e1279bb668b370c66f0f1a /.gitignore | |
| download | csci4611-8886c3d660ef857bd72d695d39e5eafd19992c38.tar csci4611-8886c3d660ef857bd72d695d39e5eafd19992c38.tar.gz csci4611-8886c3d660ef857bd72d695d39e5eafd19992c38.tar.bz2 csci4611-8886c3d660ef857bd72d695d39e5eafd19992c38.tar.lz csci4611-8886c3d660ef857bd72d695d39e5eafd19992c38.tar.xz csci4611-8886c3d660ef857bd72d695d39e5eafd19992c38.tar.zst csci4611-8886c3d660ef857bd72d695d39e5eafd19992c38.zip | |
Initial commit
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 |