Skip to content

Opam file with preserved format more precise#4302

Merged
rjbou merged 2 commits intoocaml:masterfrom rjbou:fmtendposDec 11, 2020

Commits

Commits on Dec 9, 2020