Skip to content

Fix cinaps comment formatting to not change multiline string contents.#2463

Merged
Julow merged 4 commits intoocaml-ppx:mainfrom tdelvecchio-jsc:fix-cinaps-multiline-string-bugOct 10, 2023
+40-56

Commits

Commits on Oct 6, 2023

Commits on Oct 10, 2023