mirror of
https://github.com/nlohmann/json.git
synced 2026-10-03 05:00:30 +00:00
#5737 changed sources under include/ without regenerating single_include, so the single header on develop is out of date. This commit only runs make amalgamate. Signed-off-by: Niels Lohmann <mail@nlohmann.me>