diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2010-11-16 14:51:32 +0000 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 2010-11-16 14:51:32 +0000 |
commit | 94de413a16bc280d40748d81a0433af05bb254e0 (patch) | |
tree | 21ec4d7992bae96618b24a928ea7673a53fb11ea | |
parent | a95d6d2fcb1a15cec51f1a06576cf1fbba4a8806 (diff) | |
download | ocaml-94de413a16bc280d40748d81a0433af05bb254e0.tar.gz |
Dana Xu's experiments with contracts.
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/contracts@10809 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rw-r--r-- | camlp4/camlp4/.gitignore | 0 | ||||
-rw-r--r-- | camlp4/etc/.gitignore | 0 | ||||
-rw-r--r-- | camlp4/lib/.gitignore | 0 | ||||
-rw-r--r-- | camlp4/meta/.gitignore | 0 | ||||
-rw-r--r-- | camlp4/ocaml_src/.gitignore | 0 | ||||
-rw-r--r-- | camlp4/ocaml_src/camlp4/.gitignore | 0 | ||||
-rw-r--r-- | camlp4/ocaml_src/lib/.gitignore | 0 | ||||
-rw-r--r-- | camlp4/ocaml_src/meta/.gitignore | 0 | ||||
-rw-r--r-- | camlp4/ocaml_src/odyl/.gitignore | 0 | ||||
-rw-r--r-- | camlp4/ocpp/.gitignore | 0 | ||||
-rw-r--r-- | camlp4/odyl/.gitignore | 0 | ||||
-rw-r--r-- | camlp4/top/.gitignore | 0 | ||||
-rw-r--r-- | jocparsing/.gitignore | 0 | ||||
-rw-r--r-- | maccaml/.gitignore | 0 | ||||
-rw-r--r-- | otherlibs/join/.gitignore | 0 | ||||
-rw-r--r-- | otherlibs/labltk/example/.gitignore | 0 |
16 files changed, 0 insertions, 0 deletions
diff --git a/camlp4/camlp4/.gitignore b/camlp4/camlp4/.gitignore new file mode 100644 index 0000000000..e69de29bb2 --- /dev/null +++ b/camlp4/camlp4/.gitignore diff --git a/camlp4/etc/.gitignore b/camlp4/etc/.gitignore new file mode 100644 index 0000000000..e69de29bb2 --- /dev/null +++ b/camlp4/etc/.gitignore diff --git a/camlp4/lib/.gitignore b/camlp4/lib/.gitignore new file mode 100644 index 0000000000..e69de29bb2 --- /dev/null +++ b/camlp4/lib/.gitignore diff --git a/camlp4/meta/.gitignore b/camlp4/meta/.gitignore new file mode 100644 index 0000000000..e69de29bb2 --- /dev/null +++ b/camlp4/meta/.gitignore diff --git a/camlp4/ocaml_src/.gitignore b/camlp4/ocaml_src/.gitignore new file mode 100644 index 0000000000..e69de29bb2 --- /dev/null +++ b/camlp4/ocaml_src/.gitignore diff --git a/camlp4/ocaml_src/camlp4/.gitignore b/camlp4/ocaml_src/camlp4/.gitignore new file mode 100644 index 0000000000..e69de29bb2 --- /dev/null +++ b/camlp4/ocaml_src/camlp4/.gitignore diff --git a/camlp4/ocaml_src/lib/.gitignore b/camlp4/ocaml_src/lib/.gitignore new file mode 100644 index 0000000000..e69de29bb2 --- /dev/null +++ b/camlp4/ocaml_src/lib/.gitignore diff --git a/camlp4/ocaml_src/meta/.gitignore b/camlp4/ocaml_src/meta/.gitignore new file mode 100644 index 0000000000..e69de29bb2 --- /dev/null +++ b/camlp4/ocaml_src/meta/.gitignore diff --git a/camlp4/ocaml_src/odyl/.gitignore b/camlp4/ocaml_src/odyl/.gitignore new file mode 100644 index 0000000000..e69de29bb2 --- /dev/null +++ b/camlp4/ocaml_src/odyl/.gitignore diff --git a/camlp4/ocpp/.gitignore b/camlp4/ocpp/.gitignore new file mode 100644 index 0000000000..e69de29bb2 --- /dev/null +++ b/camlp4/ocpp/.gitignore diff --git a/camlp4/odyl/.gitignore b/camlp4/odyl/.gitignore new file mode 100644 index 0000000000..e69de29bb2 --- /dev/null +++ b/camlp4/odyl/.gitignore diff --git a/camlp4/top/.gitignore b/camlp4/top/.gitignore new file mode 100644 index 0000000000..e69de29bb2 --- /dev/null +++ b/camlp4/top/.gitignore diff --git a/jocparsing/.gitignore b/jocparsing/.gitignore new file mode 100644 index 0000000000..e69de29bb2 --- /dev/null +++ b/jocparsing/.gitignore diff --git a/maccaml/.gitignore b/maccaml/.gitignore new file mode 100644 index 0000000000..e69de29bb2 --- /dev/null +++ b/maccaml/.gitignore diff --git a/otherlibs/join/.gitignore b/otherlibs/join/.gitignore new file mode 100644 index 0000000000..e69de29bb2 --- /dev/null +++ b/otherlibs/join/.gitignore diff --git a/otherlibs/labltk/example/.gitignore b/otherlibs/labltk/example/.gitignore new file mode 100644 index 0000000000..e69de29bb2 --- /dev/null +++ b/otherlibs/labltk/example/.gitignore |