From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Thu, 21 Sep 2006 08:54:08 +0000 (+0000)
Subject: added generation of the .dot version of development dependencies
X-Git-Tag: make_still_working~6877
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=ba7371c1e56b52e1114dfb7e9407229f373889b9;hp=ba7371c1e56b52e1114dfb7e9407229f373889b9;p=helm.git

added generation of the .dot version of development dependencies
---