diff options
author | Guillaume Girol <symphorien@users.noreply.github.com> | 2021-01-17 15:41:34 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-01-17 15:41:34 +0000 |
commit | 47d121591c9688f2625f3fc3e2ddfd4d423a8cf6 (patch) | |
tree | 555314d698721cc0f2e17163c3e2d00634f51782 /maintainers | |
parent | 4e292b04af6943beda00fbdbb7a7051fe58f4e13 (diff) | |
parent | 0fd3afc1b2fb053d6b6f67db659b0a236d60cbf8 (diff) |
Merge pull request #97093 from kampka/texi2html
texi2html: Fix cross-platform build
Diffstat (limited to 'maintainers')
0 files changed, 0 insertions, 0 deletions