mirror of
https://github.com/nlohmann/json.git
synced 2026-10-01 05:23:47 +07:00
This should have no effect for header only libraries as mentioned. It was previously removed ine509007dbut then accidentally added again in26cfec34. Signed-off-by: Jeremy Nimmer <jeremy.nimmer@tri.global>