mirror of
https://github.com/postgres/postgres.git
synced 2026-05-30 04:24:45 -04:00
2b2fb7d85d
We don't actually use this anywhere, but it might come in handy for dealing with SELECT/WITH/TABLE. It works with both the old and the new man page target (for some value of "works").