]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fc1aaaa) | patch
We are now using the standard dot distribution of debian.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 19 Jan 2004 14:26:22 +0000 (14:26 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 19 Jan 2004 14:26:22 +0000 (14:26 +0000)
commitdcfdf34d7b60c987b1686cadb338fc490c4d7487
treeef8d2f437ca0b1d7dc576f9db7a4862b0efd01f3tree | snapshot
parentfc1aaaa63cf587f51a45ec8a19bf477867a3b71acommit | diff
We are now using the standard dot distribution of debian.
helm/graphs/tools/Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.