mirror of
https://github.com/postgres/postgres.git
synced 2026-06-06 07:42:52 -04:00
Peter Eisentraut
63e5d02af3
They were not rendered with DSSSL, but now they show up by default using XSLT. Just remove them, since they are not useful.