mirror of
https://github.com/postgres/postgres.git
synced 2026-03-12 21:54:00 -04:00
This is mostly cosmetic, but it might fix build failures, on some platform, when copying from the documentation. Back-patch to 9.3 (all supported versions). |
||
|---|---|---|
| .. | ||
| sgml | ||
| Makefile | ||