]> matita.cs.unibo.it Git - helm.git/commit
uses mowgli's getter conffile as sample
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 6 Jul 2005 15:48:43 +0000 (15:48 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 6 Jul 2005 15:48:43 +0000 (15:48 +0000)
commit6aa794e8959bd732e7caf27a599174b1d45eaa3d
treeabcc745c303dab60b493116d52ca11724bbb5f44
parent90f9b69fa2c7742722f5a5e72361638a39951aaf
uses mowgli's getter conffile as sample
helm/ocaml/getter/sample.conf.xml