mirror of
https://github.com/nlohmann/json.git
synced 2026-07-07 11:05:09 +00:00
ddf0a45abb
instead of hard-coding it for std::map's value_type