mirror of https://github.com/postgres/postgres
The documentation output format htmlhelp is no longer supported, but a comment still mentioned it.pull/157/head
parent
1aa67a5ea6
commit
254361cf1a
Loading…
Reference in new issue