]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7099941) | patch
clean can't fail
authorEnrico Tassi <enrico.tassi@inria.fr>
Sun, 28 Oct 2007 13:50:04 +0000 (13:50 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Sun, 28 Oct 2007 13:50:04 +0000 (13:50 +0000)
commit0311d53e418a2f82b47d08ecd7157bc6ecc81732
tree427d53ff40b89249888455d3dae6088618934858tree | snapshot
parent709994143bff1a77545b4dc0e3d7d22894e92a09commit | diff
clean can't fail
helm/software/Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.