diff options
| author | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2010-02-18 07:01:26 +0000 |
|---|---|---|
| committer | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2010-02-18 07:01:26 +0000 |
| commit | 9943dbfc783c5b62849ab5dc67662367f4544281 (patch) | |
| tree | 687d13340bfe50c2a5cbfd5b2516a1f32ab2c089 | |
| parent | 4a15d709497e8a2174c2b5c53c5ca461a83cd6f1 (diff) | |
| download | ocaml-9943dbfc783c5b62849ab5dc67662367f4544281.tar.gz | |
allow destructive substitutions on signatures
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/sigsubst@9628 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 |