Subject: Re: [Boost-users] Cutting headers
From: degski (degski_at_[hidden])
Date: 2017-05-09 06:07:22
On 9 May 2017 at 08:44, Igor Mironchik via Boost-users <
boost-users_at_[hidden]> wrote:
> Is it possible?
>
Without specifying which library you are thinking of, no-one can answer
that question other than by saying: "It depends".
degski
-- "*Ihre sogenannte Religion wirkt bloß wie ein Opiat reizend, betäubend, Schmerzen aus Schwäche stillend.*" - Novalis 1798