]> matita.cs.unibo.it Git - helm.git/commit
Whoops. Forgot to open the CIC file in the cic window.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 9 Oct 2001 16:42:52 +0000 (16:42 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 9 Oct 2001 16:42:52 +0000 (16:42 +0000)
commitf9c6a0ac7617908531633243af1091db829d71fe
tree8ce64baac3198c2b416ef2dc4d1fbdd7b22b7429
parent719bf6e8e122161414a94763cd1557fa323360ea
Whoops. Forgot to open the CIC file in the cic window.
helm/graphs/tools/mk_html.pl