From 4829e693f115e4f6eacaa81d971e8730a4a4833a Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Thu, 12 Jan 2006 13:25:09 +0000 Subject: [PATCH] hgdome and xmldiff no longer compiled --- helm/ocaml/Makefile.in | 2 -- 1 file changed, 2 deletions(-) diff --git a/helm/ocaml/Makefile.in b/helm/ocaml/Makefile.in index 0c2d49411..fe18d792d 100644 --- a/helm/ocaml/Makefile.in +++ b/helm/ocaml/Makefile.in @@ -3,12 +3,10 @@ NULL = MODULES = \ extlib \ xml \ - hgdome \ registry \ hmysql \ utf8_macros \ thread \ - xmldiff \ urimanager \ logger \ getter \ -- 2.39.2