git://git.onelab.eu / plcapi.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 37f6453)
Tagging module PLCAPI - PLCAPI-4.2-8 PLCAPI-4.2-8
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Wed, 14 May 2008 12:50:48 +0000 (12:50 +0000)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Wed, 14 May 2008 12:50:48 +0000 (12:50 +0000)
fixed doc build by locating locally installed DTDs at build-time


No differences found
plcapi