mirror of https://github.com/postgres/postgres
That way, the HTML file name of the index will be the same as currently for the DSSSL build.pull/6/head
parent
4c83e0353f
commit
3803ff985c
Loading…
Reference in new issue