]> thyrsus.com Git - coverity-submit.git/commit
Workaround for the xmlto problem.
authorEric S. Raymond <esr@thyrsus.com>
Wed, 16 May 2012 04:09:42 +0000 (00:09 -0400)
committerEric S. Raymond <esr@thyrsus.com>
Wed, 16 May 2012 04:09:42 +0000 (00:09 -0400)
commit4560ca5adfcfdfb0ef82d4cae608353613840052
tree52b5ea6f6d8bc8890e353823f6c0a5481fa2889f
parent6e6a3568d031715d53e5a5b8f3affc68ec54885d
Workaround for the xmlto problem.
coverity-submit