mirror of
https://github.com/postgres/postgres.git
synced 2025-07-27 12:41:57 +03:00
Rename config.h to pg_config.h and os.h to pg_config_os.h, fix a number of
places that were including the wrong files.
This commit is contained in: