From 2f084b5e3804c49004d1b0ce332905171634e3e5 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Thu, 12 Jan 2006 13:35:25 +0000 Subject: [PATCH] ... --- helm/matita/configure.ac | 2 -- 1 file changed, 2 deletions(-) diff --git a/helm/matita/configure.ac b/helm/matita/configure.ac index a9641c8fc..fc4322e8d 100644 --- a/helm/matita/configure.ac +++ b/helm/matita/configure.ac @@ -37,7 +37,6 @@ helm-cic_disambiguation \ helm-grafite \ helm-grafite_engine \ helm-grafite_parser \ -helm-hgdome \ helm-tactics \ " FINDLIB_CLEANREQUIRES="$FINDLIB_COMREQUIRES" @@ -54,7 +53,6 @@ FINDLIB_REQUIRES="\ $FINDLIB_CREQUIRES \ lablgtk2.glade \ lablgtkmathview \ -helm-xmldiff \ helm-paramodulation \ " for r in $FINDLIB_REQUIRES -- 2.39.2