mirror of
https://github.com/boostorg/config.git
synced 2026-07-09 18:01:05 +02:00
a107a3001b
Patch from Jurgen Hunold. [SVN r29729]
Patch from Jurgen Hunold. [SVN r29729]