summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorXavier Leroy <xavier.leroy@inria.fr>2011-10-20 08:12:57 +0000
committerXavier Leroy <xavier.leroy@inria.fr>2011-10-20 08:12:57 +0000
commit7364862c643bf5763bb6925a936cc968824db49f (patch)
tree91a12c389e03bc871442e0c0e98d1d3038d994d7
parent1671254bcf60f35fc00072d5f6e0f3da34b8e645 (diff)
downloadocaml-7364862c643bf5763bb6925a936cc968824db49f.tar.gz
Rename contracts branch.contracts-3.11
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/contracts-3.11@11226 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rw-r--r--binary-compat/compat/3.11.2/.gitignore0
-rw-r--r--binary-compat/compat/3.12.0/.gitignore0
-rw-r--r--camlp4/build/.gitignore0
-rw-r--r--otherlibs/labltk/lib/.gitignore0
-rw-r--r--testsuite/.gitignore0
-rw-r--r--testsuite/tests/.gitignore0
-rw-r--r--testsuite/tests/asmcomp/.gitignore0
-rw-r--r--testsuite/tests/embedded/.gitignore0
-rw-r--r--testsuite/tests/gc-roots/.gitignore0
-rw-r--r--testsuite/tests/lib-digest/.gitignore0
-rw-r--r--testsuite/tests/lib-dynlink-bytecode/.gitignore0
-rw-r--r--testsuite/tests/lib-dynlink-native/.gitignore0
-rw-r--r--testsuite/tests/lib-threads/.gitignore0
-rw-r--r--testsuite/tests/regression-camlp4-class-type-plus/.gitignore0
-rw-r--r--testsuite/tests/regression-pr5080-notes/.gitignore0
-rw-r--r--testsuite/tests/runtime-errors/.gitignore0
-rw-r--r--testsuite/tests/tool-lexyacc/.gitignore0
-rw-r--r--testsuite/tests/tool-ocamldoc/.gitignore0
-rw-r--r--testsuite/tests/typing-fstclassmod/.gitignore0
-rw-r--r--testsuite/tests/typing-gadts/.gitignore0
-rw-r--r--testsuite/tests/typing-labels/.gitignore0
-rw-r--r--testsuite/tests/typing-modules/.gitignore0
-rw-r--r--testsuite/tests/typing-objects/.gitignore0
-rw-r--r--testsuite/tests/typing-poly/.gitignore0
-rw-r--r--testsuite/tests/typing-private/.gitignore0
-rw-r--r--testsuite/tests/typing-typeparam/.gitignore0
26 files changed, 0 insertions, 0 deletions
diff --git a/binary-compat/compat/3.11.2/.gitignore b/binary-compat/compat/3.11.2/.gitignore
new file mode 100644
index 0000000000..e69de29bb2
--- /dev/null
+++ b/binary-compat/compat/3.11.2/.gitignore
diff --git a/binary-compat/compat/3.12.0/.gitignore b/binary-compat/compat/3.12.0/.gitignore
new file mode 100644
index 0000000000..e69de29bb2
--- /dev/null
+++ b/binary-compat/compat/3.12.0/.gitignore
diff --git a/camlp4/build/.gitignore b/camlp4/build/.gitignore
new file mode 100644
index 0000000000..e69de29bb2
--- /dev/null
+++ b/camlp4/build/.gitignore
diff --git a/otherlibs/labltk/lib/.gitignore b/otherlibs/labltk/lib/.gitignore
new file mode 100644
index 0000000000..e69de29bb2
--- /dev/null
+++ b/otherlibs/labltk/lib/.gitignore
diff --git a/testsuite/.gitignore b/testsuite/.gitignore
new file mode 100644
index 0000000000..e69de29bb2
--- /dev/null
+++ b/testsuite/.gitignore
diff --git a/testsuite/tests/.gitignore b/testsuite/tests/.gitignore
new file mode 100644
index 0000000000..e69de29bb2
--- /dev/null
+++ b/testsuite/tests/.gitignore
diff --git a/testsuite/tests/asmcomp/.gitignore b/testsuite/tests/asmcomp/.gitignore
new file mode 100644
index 0000000000..e69de29bb2
--- /dev/null
+++ b/testsuite/tests/asmcomp/.gitignore
diff --git a/testsuite/tests/embedded/.gitignore b/testsuite/tests/embedded/.gitignore
new file mode 100644
index 0000000000..e69de29bb2
--- /dev/null
+++ b/testsuite/tests/embedded/.gitignore
diff --git a/testsuite/tests/gc-roots/.gitignore b/testsuite/tests/gc-roots/.gitignore
new file mode 100644
index 0000000000..e69de29bb2
--- /dev/null
+++ b/testsuite/tests/gc-roots/.gitignore
diff --git a/testsuite/tests/lib-digest/.gitignore b/testsuite/tests/lib-digest/.gitignore
new file mode 100644
index 0000000000..e69de29bb2
--- /dev/null
+++ b/testsuite/tests/lib-digest/.gitignore
diff --git a/testsuite/tests/lib-dynlink-bytecode/.gitignore b/testsuite/tests/lib-dynlink-bytecode/.gitignore
new file mode 100644
index 0000000000..e69de29bb2
--- /dev/null
+++ b/testsuite/tests/lib-dynlink-bytecode/.gitignore
diff --git a/testsuite/tests/lib-dynlink-native/.gitignore b/testsuite/tests/lib-dynlink-native/.gitignore
new file mode 100644
index 0000000000..e69de29bb2
--- /dev/null
+++ b/testsuite/tests/lib-dynlink-native/.gitignore
diff --git a/testsuite/tests/lib-threads/.gitignore b/testsuite/tests/lib-threads/.gitignore
new file mode 100644
index 0000000000..e69de29bb2
--- /dev/null
+++ b/testsuite/tests/lib-threads/.gitignore
diff --git a/testsuite/tests/regression-camlp4-class-type-plus/.gitignore b/testsuite/tests/regression-camlp4-class-type-plus/.gitignore
new file mode 100644
index 0000000000..e69de29bb2
--- /dev/null
+++ b/testsuite/tests/regression-camlp4-class-type-plus/.gitignore
diff --git a/testsuite/tests/regression-pr5080-notes/.gitignore b/testsuite/tests/regression-pr5080-notes/.gitignore
new file mode 100644
index 0000000000..e69de29bb2
--- /dev/null
+++ b/testsuite/tests/regression-pr5080-notes/.gitignore
diff --git a/testsuite/tests/runtime-errors/.gitignore b/testsuite/tests/runtime-errors/.gitignore
new file mode 100644
index 0000000000..e69de29bb2
--- /dev/null
+++ b/testsuite/tests/runtime-errors/.gitignore
diff --git a/testsuite/tests/tool-lexyacc/.gitignore b/testsuite/tests/tool-lexyacc/.gitignore
new file mode 100644
index 0000000000..e69de29bb2
--- /dev/null
+++ b/testsuite/tests/tool-lexyacc/.gitignore
diff --git a/testsuite/tests/tool-ocamldoc/.gitignore b/testsuite/tests/tool-ocamldoc/.gitignore
new file mode 100644
index 0000000000..e69de29bb2
--- /dev/null
+++ b/testsuite/tests/tool-ocamldoc/.gitignore
diff --git a/testsuite/tests/typing-fstclassmod/.gitignore b/testsuite/tests/typing-fstclassmod/.gitignore
new file mode 100644
index 0000000000..e69de29bb2
--- /dev/null
+++ b/testsuite/tests/typing-fstclassmod/.gitignore
diff --git a/testsuite/tests/typing-gadts/.gitignore b/testsuite/tests/typing-gadts/.gitignore
new file mode 100644
index 0000000000..e69de29bb2
--- /dev/null
+++ b/testsuite/tests/typing-gadts/.gitignore
diff --git a/testsuite/tests/typing-labels/.gitignore b/testsuite/tests/typing-labels/.gitignore
new file mode 100644
index 0000000000..e69de29bb2
--- /dev/null
+++ b/testsuite/tests/typing-labels/.gitignore
diff --git a/testsuite/tests/typing-modules/.gitignore b/testsuite/tests/typing-modules/.gitignore
new file mode 100644
index 0000000000..e69de29bb2
--- /dev/null
+++ b/testsuite/tests/typing-modules/.gitignore
diff --git a/testsuite/tests/typing-objects/.gitignore b/testsuite/tests/typing-objects/.gitignore
new file mode 100644
index 0000000000..e69de29bb2
--- /dev/null
+++ b/testsuite/tests/typing-objects/.gitignore
diff --git a/testsuite/tests/typing-poly/.gitignore b/testsuite/tests/typing-poly/.gitignore
new file mode 100644
index 0000000000..e69de29bb2
--- /dev/null
+++ b/testsuite/tests/typing-poly/.gitignore
diff --git a/testsuite/tests/typing-private/.gitignore b/testsuite/tests/typing-private/.gitignore
new file mode 100644
index 0000000000..e69de29bb2
--- /dev/null
+++ b/testsuite/tests/typing-private/.gitignore
diff --git a/testsuite/tests/typing-typeparam/.gitignore b/testsuite/tests/typing-typeparam/.gitignore
new file mode 100644
index 0000000000..e69de29bb2
--- /dev/null
+++ b/testsuite/tests/typing-typeparam/.gitignore