From 8b153648f7da53fcf96ef61f20239e73a9634146 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Tue, 13 Nov 2001 18:06:38 +0000 Subject: [PATCH] Unused variable removed. --- helm/DEVEL/mlminidom/Makefile.in | 1 - 1 file changed, 1 deletion(-) diff --git a/helm/DEVEL/mlminidom/Makefile.in b/helm/DEVEL/mlminidom/Makefile.in index e82872538..ecd1c8386 100644 --- a/helm/DEVEL/mlminidom/Makefile.in +++ b/helm/DEVEL/mlminidom/Makefile.in @@ -3,7 +3,6 @@ VERSION = @VERSION@ INCLUDEDIR = @OCAML_INCLUDE_DIR@ LIBDIR = @OCAML_LIB_DIR@ PREFIX = -INSTALLDIR = $(PREFIX)$(LIBDIR)/$(PACKAGE) OBJECTS_C = ml_minidom.o OBJECTS = minidom.cmo ominidom.cmo OBJECTS_OPT = minidom.cmx ominidom.cmx -- 2.39.2