]> matita.cs.unibo.it Git - helm.git/commit
new configuration file sample
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 9 Jul 2007 13:04:18 +0000 (13:04 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 9 Jul 2007 13:04:18 +0000 (13:04 +0000)
commita50715f0d36c627695c86dd8733a83e18f5e424a
tree1beff94791471a702be80c8f3510eb284bb22c49
parentb8e6c1f8d04e9da1161a959bbd9ca2b945f5cab2
new configuration file sample
helm/software/daemons/whelp/searchEngine.conf.xml.sample