]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ad4b678) | 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)
commitbf5e6f18930534e2c951b083c5c2c361a30bcc34
treedd4100c56da4d8a8160d096bb0ff00aabbefdd4atree | snapshot
parentad4b678b155e33fc9bf7264a18f7d60a9fc62ec0commit | diff
if DISTRIBUTED all targets require a depend-stamp
Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.