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