]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8b4a227) | patch
if DISTRIBUTED all targets require a depend-stamp
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 22 Mar 2006 14:29:21 +0000 (14:29 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 22 Mar 2006 14:29:21 +0000 (14:29 +0000)
commit706ba4e515f1427182be0d0da4dd52ab88e6a8c1
treebc18a0c36415cf777ba7228921d0a7e1f2a2ace9tree | snapshot
parent8b4a227cafd6707cf466c02606b2f1f3f6b60219commit | diff
if DISTRIBUTED all targets require a depend-stamp
helm/software/Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.