diff options
Diffstat (limited to 'textproc/ocaml-tyxml/files/patch-Makefile.config')
| -rw-r--r-- | textproc/ocaml-tyxml/files/patch-Makefile.config | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/textproc/ocaml-tyxml/files/patch-Makefile.config b/textproc/ocaml-tyxml/files/patch-Makefile.config deleted file mode 100644 index 432521b86988..000000000000 --- a/textproc/ocaml-tyxml/files/patch-Makefile.config +++ /dev/null @@ -1,11 +0,0 @@ ---- Makefile.config.orig 2011-12-14 13:19:51.645986499 +0100 -+++ Makefile.config 2011-12-14 13:19:57.053913205 +0100 -@@ -11,7 +11,7 @@ - - ## Build options - --OCAMLDUCE :=YES -+#OCAMLDUCE :=YES - NATDYNLINK :=YES - - # DBG := -g |