summaryrefslogtreecommitdiff
path: root/compilerlibs
diff options
context:
space:
mode:
authorDamien Doligez <damien.doligez@inria.fr>2016-02-19 14:10:44 +0100
committerDamien Doligez <damien.doligez@inria.fr>2016-02-19 14:11:01 +0100
commit49a8bfb5a99b3e0353eddd56c7ade6cba89e2734 (patch)
treea3c1e5be72912508e52f3a7b4a7581243cf12411 /compilerlibs
parentd5f61a4e54b158e564da3f15beb2137ab53a4adc (diff)
downloadocaml-49a8bfb5a99b3e0353eddd56c7ade6cba89e2734.tar.gz
add a file in compilerlibs to make git happy
Diffstat (limited to 'compilerlibs')
-rw-r--r--compilerlibs/.gitignore7
1 files changed, 7 insertions, 0 deletions
diff --git a/compilerlibs/.gitignore b/compilerlibs/.gitignore
new file mode 100644
index 0000000000..c1eda49d00
--- /dev/null
+++ b/compilerlibs/.gitignore
@@ -0,0 +1,7 @@
+# This .gitignore is here to force git to create the compilerlibs directory
+# because git doesn't create empty directories.
+# The lines tell git to ignore everything in this directory except
+# the .gitignore file itself.
+
+*
+!.gitignore