]> thyrsus.com Git - coverity-submit.git/commit
Workaround for failing-xmlto bug.
authorEric S. Raymond <esr@thyrsus.com>
Wed, 16 May 2012 03:37:56 +0000 (23:37 -0400)
committerEric S. Raymond <esr@thyrsus.com>
Wed, 16 May 2012 03:37:56 +0000 (23:37 -0400)
commit6e6a3568d031715d53e5a5b8f3affc68ec54885d
tree8c6ff57cd3fdf58b0a347b2e6e62cc03981a21ff
parentfee5664d0e1298872cfe9557ef01b39ba92f69f5
Workaround for failing-xmlto bug.
coverity-submit