From: Enrico Tassi Date: Tue, 13 Oct 2009 07:56:48 +0000 (+0000) Subject: ... X-Git-Tag: make_still_working~3329 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=7dea3a24143f94e6d41552c23389346bd279d0ed;p=helm.git ... --- 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 -->