diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2010-03-07 09:29:00 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2010-03-07 09:29:00 +0000 |
| commit | c87be95c8dafbb0bbe9e911d7b6ae493aa8aa717 (patch) | |
| tree | 687d13340bfe50c2a5cbfd5b2516a1f32ab2c089 | |
| parent | 4a15d709497e8a2174c2b5c53c5ca461a83cd6f1 (diff) | |
| download | ocaml-c87be95c8dafbb0bbe9e911d7b6ae493aa8aa717.tar.gz | |
Experiment: "module type of <module-expr>"
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/moduletypeof@9636 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 | ||||
| -rw-r--r-- | otherlibs/num/test/.gitignore | 0 | ||||
| -rw-r--r-- | otherlibs/threads/Tests/.gitignore | 0 | ||||
| -rw-r--r-- | test/testinterp/.gitignore | 0 |
19 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 diff --git a/otherlibs/num/test/.gitignore b/otherlibs/num/test/.gitignore new file mode 100644 index 0000000000..e69de29bb2 --- /dev/null +++ b/otherlibs/num/test/.gitignore diff --git a/otherlibs/threads/Tests/.gitignore b/otherlibs/threads/Tests/.gitignore new file mode 100644 index 0000000000..e69de29bb2 --- /dev/null +++ b/otherlibs/threads/Tests/.gitignore diff --git a/test/testinterp/.gitignore b/test/testinterp/.gitignore new file mode 100644 index 0000000000..e69de29bb2 --- /dev/null +++ b/test/testinterp/.gitignore |