]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4c42284) | patch
the edges must be quoted as well (not only the nodes)
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 11 Apr 2010 17:13:56 +0000 (17:13 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 11 Apr 2010 17:13:56 +0000 (17:13 +0000)
commitce0e8e7fc59e6a1f7ed6038370bdc1de096cdc01
treeddca3817c28c5e229a6b26ed8d53dd6e352a9909tree | snapshot
parent4c4228417fc38e71bce647174d175561db2afb01commit | diff
the edges must be quoted as well (not only the nodes)

From: fguidi <fguidi@c2b2084f-9a08-0410-b176-e24b037a169a>
helm/software/components/extlib/graphvizPp.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.