Romain Reignier bb1abe96a4 Use std::vector::insert method instead of std::copy in output_vector_adapter::write_characters ... This change increases a lot the performance when writing lots of binary data.		2022-07-04 17:25:16 +02:00
..
json.hpp	Use std::vector::insert method instead of std::copy in output_vector_adapter::write_characters	2022-07-04 17:25:16 +02:00