Code

Define a diff-friendly profile#2020

Code

Draft

gpetiot wants to merge 1 commit intoocaml-ppx:mainocaml-ppx/ocamlformat:mainfrom gpetiot:diff-friendlygpetiot/ocamlformat:diff-friendlyCopy head branch name to clipboard

+10,906-2

Commits

Commits on Oct 11, 2023

• First draft of a diff-friendly profile

  gpetiot

  committed
  84d84a4

  Copy full SHA for 84d84a4