]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/mathql_interpreter/Makefile
patched
[helm.git] / helm / ocaml / mathql_interpreter / Makefile
index 88c66ac8ed5d478cbb22789dc0f8f36653179f50..261feac7be1a5b027f58d4fb26dc8ebca5e13339 100644 (file)
@@ -1,3 +1,4 @@
+
 PACKAGE = mathql_interpreter
 REQUIRES = helm-urimanager helm-mathql postgres
 #natile-galax