From 2ee9fec48a170371c20fd15fc560d15814e290fe Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 11 Jan 2011 21:35:34 +0000
Subject: [PATCH] Last commit reverted (it was an error).

---
 matita/components/Makefile | 1 -
 1 file changed, 1 deletion(-)

diff --git a/matita/components/Makefile b/matita/components/Makefile
index d8e240e56..61ce8a364 100644
--- a/matita/components/Makefile
+++ b/matita/components/Makefile
@@ -8,7 +8,6 @@ NULL =
 MODULES =			\
 	extlib			\
 	xml			\
-	hgdome			\
 	registry		\
 	syntax_extensions	\
 	thread			\
-- 
2.39.2