diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2011-10-20 08:12:57 +0000 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 2011-10-20 08:12:57 +0000 |
commit | 7364862c643bf5763bb6925a936cc968824db49f (patch) | |
tree | 91a12c389e03bc871442e0c0e98d1d3038d994d7 | |
parent | 1671254bcf60f35fc00072d5f6e0f3da34b8e645 (diff) | |
download | ocaml-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
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 |