]> matita.cs.unibo.it Git - helm.git/commit
moved dot stuff to STATS/
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 2 Feb 2006 10:35:13 +0000 (10:35 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 2 Feb 2006 10:35:13 +0000 (10:35 +0000)
commit782253ebe87375f52c07899c1501db5a665a457f
tree7e1848ccf03c9f08f404d1804eb1544e792e0a96
parent0c8963a0f3aef05cf4866e8bcd3fdbebddac8b87
moved dot stuff to STATS/
helm/ocaml/Makefile.in
helm/ocaml/STATS/clusters.dot [new file with mode: 0644]
helm/ocaml/STATS/daemons.dot [new file with mode: 0644]
helm/ocaml/STATS/deps.patch [new file with mode: 0644]
helm/ocaml/STATS/patch_deps.sh [new file with mode: 0755]
helm/ocaml/clusters.dot [deleted file]
helm/ocaml/daemons.dot [deleted file]
helm/ocaml/deps.patch [deleted file]
helm/ocaml/patch_deps.sh [deleted file]