summaryrefslogtreecommitdiffstats
path: root/.gitignore
diff options
context:
space:
mode:
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore38
1 files changed, 20 insertions, 18 deletions
diff --git a/.gitignore b/.gitignore
index 5ff499b..684581a 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,18 +1,20 @@
-.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
+.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
+
+.vscode