projects / xmldoc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1174c39) | patch
Bug fix: exit if libxml2 is not available.
authorarjen <arjen>
Thu, 19 Sep 2002 12:28:38 +0000 (12:28 +0000)
committerarjen <arjen>
Thu, 19 Sep 2002 12:28:38 +0000 (12:28 +0000)
commit81c8357f11bd7321c0ef3b7505e30485641b07e1
tree41548449050013d03d279cc44a79443f23a293d4tree | snapshot
parent1174c3950eaf28b67a19aeb69864dd5afdb74fc6commit | diff
Bug fix: exit if libxml2 is not available.
configure diff | blob | history
configure.in diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.