[Boost-users] How to trim headers into a strict header-only subset