X-Git-Url: http://git.hcoop.net/bpt/coccinelle.git/blobdiff_plain/755320b0f64ab4fe487507104d2929cfb19dcee1..abad11c5570b7b9bbae5ff92b3050cf68fe3fd14:/bundles/menhirLib/menhirLib.mllib

diff --git a/bundles/menhirLib/menhirLib.mllib b/bundles/menhirLib/menhirLib.mllib
new file mode 100644
index 0000000..6d75ce9
--- /dev/null
+++ b/bundles/menhirLib/menhirLib.mllib
@@ -0,0 +1 @@
+MenhirLib