]> matita.cs.unibo.it Git - helm.git/commit
- better error messages on make failure
authorStefano Zacchiroli <zack@upsilon.cc>
Sun, 23 Feb 2003 16:56:34 +0000 (16:56 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Sun, 23 Feb 2003 16:56:34 +0000 (16:56 +0000)
commitd97a5aeaed9e54e7a5c33570c3daaa0342979b66
tree5f1104ab4696a814571def2a0f3e0ebd5a3caf74
parent75be6caf86a0780b9bf8b774f58f1f525445b3a2
- better error messages on make failure
- synced with O'Http 0.0.8
helm/graphs/tools/drawGraph.ml