add code for -dcoqpass, -fcoqpass, -ddump-coqpass

[ghc-hetmet.git] / .gitmodules

diff --git a/.gitmodules b/.gitmodules
new file mode 100644 (file)
index 0000000..162e65d
--- /dev/null
+++ b/.gitmodules
@@ -0,0 +1,3 @@
+[submodule "compiler/coq"]
+       path = compiler/coq
+       url = http://git.megacz.com/coq-garrows.git