]> matita.cs.unibo.it Git - helm.git/commit - helm/ocaml/getter/sample.conf.xml
added sample entries with attributes
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 9 Jan 2006 13:50:33 +0000 (13:50 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 9 Jan 2006 13:50:33 +0000 (13:50 +0000)
commit2309e0d8bf7a82ca817009ed296b96d69e26f494
tree3752da32f8428aa8f30c5069a38a25ae7b0638d6
parentf553eb12e42b11d37dbf1ae3f8ceb859a875df98
added sample entries with attributes
helm/ocaml/getter/sample.conf.xml