swh:1:snp:61dcfc0dd5674a0e65803e88039c122d9532074e
Raw File
Tip revision: c279314f04aa1a02e13925d54ae4c81c99c49dcc authored by Diane Gallois-Wong on 15 April 2022, 13:12:54 UTC
Merge branch 'diane@add-padding-generator' into 'master'
Tip revision: c279314
.ocamlformat
version=0.20.1
wrap-fun-args=false
let-binding-spacing=compact
field-space=loose
break-separators=after
space-around-arrays=false
space-around-lists=false
space-around-records=false
space-around-variants=false
dock-collection-brackets=true
space-around-records=false
sequence-style=separator
doc-comments=before
margin=80
module-item-spacing=sparse
parens-tuple=always
back to top