summaryrefslogtreecommitdiff
path: root/ocaml-binary-annot/camlp4/camlp4.odocl
diff options
context:
space:
mode:
Diffstat (limited to 'ocaml-binary-annot/camlp4/camlp4.odocl')
-rw-r--r--ocaml-binary-annot/camlp4/camlp4.odocl1
1 files changed, 1 insertions, 0 deletions
diff --git a/ocaml-binary-annot/camlp4/camlp4.odocl b/ocaml-binary-annot/camlp4/camlp4.odocl
new file mode 100644
index 0000000000..715f15e805
--- /dev/null
+++ b/ocaml-binary-annot/camlp4/camlp4.odocl
@@ -0,0 +1 @@
+Camlp4/Sig