git://git.onelab.eu / nodemanager.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 6f45f7d)
Tagging module NodeManager - NodeManager-1.7-10 NodeManager-1.7-10
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Wed, 14 May 2008 12:53:57 +0000 (12:53 +0000)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Wed, 14 May 2008 12:53:57 +0000 (12:53 +0000)
fixed doc build by locating locally installed DTDs at build-time


No differences found
nodemanager