mirror of
https://github.com/boostorg/config.git
synced 2026-01-26 17:22:25 +01:00
Remove an old PGI-specific workaround for intptr_t. The workaround is no longer necessary and now causes compilation errors.
Remove an old PGI-specific workaround for intptr_t. The workaround is no longer necessary and now causes compilation errors.