summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorXavier Clerc <xavier.clerc@inria.fr>2010-05-17 13:39:56 +0000
committerXavier Clerc <xavier.clerc@inria.fr>2010-05-17 13:39:56 +0000
commit3a60776b22adc66ddfd11894416e7eee613320a4 (patch)
treeeb29bd215599a677dd6125037fd8633b76cd1267
parentcc123f5ea788cae8f7d6d0a08c69e8c548278c92 (diff)
downloadocaml-3a60776b22adc66ddfd11894416e7eee613320a4.tar.gz
Generate annot files from the lambda structure.
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/annot-from-lambda@10409 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rw-r--r--camlp4/camlp4/.gitignore0
-rw-r--r--camlp4/etc/.gitignore0
-rw-r--r--camlp4/lib/.gitignore0
-rw-r--r--camlp4/meta/.gitignore0
-rw-r--r--camlp4/ocaml_src/.gitignore0
-rw-r--r--camlp4/ocaml_src/camlp4/.gitignore0
-rw-r--r--camlp4/ocaml_src/lib/.gitignore0
-rw-r--r--camlp4/ocaml_src/meta/.gitignore0
-rw-r--r--camlp4/ocaml_src/odyl/.gitignore0
-rw-r--r--camlp4/ocpp/.gitignore0
-rw-r--r--camlp4/odyl/.gitignore0
-rw-r--r--camlp4/top/.gitignore0
-rw-r--r--jocparsing/.gitignore0
-rw-r--r--maccaml/.gitignore0
-rw-r--r--otherlibs/join/.gitignore0
-rw-r--r--otherlibs/labltk/example/.gitignore0
-rw-r--r--otherlibs/num/test/.gitignore0
-rw-r--r--otherlibs/threads/Tests/.gitignore0
-rw-r--r--test/Moretest/.gitignore0
-rw-r--r--test/Results/.gitignore0
-rw-r--r--test/testinterp/.gitignore0
-rw-r--r--testasmcomp/.gitignore0
22 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/Moretest/.gitignore b/test/Moretest/.gitignore
new file mode 100644
index 0000000000..e69de29bb2
--- /dev/null
+++ b/test/Moretest/.gitignore
diff --git a/test/Results/.gitignore b/test/Results/.gitignore
new file mode 100644
index 0000000000..e69de29bb2
--- /dev/null
+++ b/test/Results/.gitignore
diff --git a/test/testinterp/.gitignore b/test/testinterp/.gitignore
new file mode 100644
index 0000000000..e69de29bb2
--- /dev/null
+++ b/test/testinterp/.gitignore
diff --git a/testasmcomp/.gitignore b/testasmcomp/.gitignore
new file mode 100644
index 0000000000..e69de29bb2
--- /dev/null
+++ b/testasmcomp/.gitignore