Skip to content

Rename Yojson-json5 to Yojson-five to not repeat JSON all the time#177

Merged
Leonidas-from-XIV merged 1 commit intoocaml-community:masterfrom Leonidas-from-XIV:fiveMay 31, 2024
+17-18

Commits

Commits on May 31, 2024