mirror of
https://github.com/nlohmann/json.git
synced 2026-09-26 12:05:48 +00: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>