git://git.onelab.eu / build.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 49073de) | patch
Tagging module NodeManager - NodeManager-1.7-10
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Wed, 14 May 2008 12:53:55 +0000 (12:53 +0000)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Wed, 14 May 2008 12:53:55 +0000 (12:53 +0000)
commitcf459816394cf53a45173082a7b40436494cd4aa
tree9f0752addb2b60f52fdfa49014eb7705f29a2585tree | snapshot
parent49073deb75096794805603d57f790a3fe91febe8commit | diff
Tagging module NodeManager - NodeManager-1.7-10
fixed doc build by locating locally installed DTDs at build-time
onelab-tags-4.2.mk diff | blob | history
planetlab-tags-4.2.mk diff | blob | history
build