From 7dea3a24143f94e6d41552c23389346bd279d0ed Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Tue, 13 Oct 2009 07:56:48 +0000 Subject: [PATCH] ... --- helm/software/matita/matita.conf.xml.in | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helm/software/matita/matita.conf.xml.in b/helm/software/matita/matita.conf.xml.in index 84452acd3..aeb8af025 100644 --- a/helm/software/matita/matita.conf.xml.in +++ b/helm/software/matita/matita.conf.xml.in @@ -44,7 +44,7 @@ Note that: exactly one 'user' db must be specified - exactly one 'library' db must be specified + exactly one 'library' db can be specified exactly one 'legacy' db can be specified --> -- 2.39.2