swh:1:snp:61dcfc0dd5674a0e65803e88039c122d9532074e
Raw File
Tip revision: c46b1548c2575c91bb1b742326aed57e8654cb89 authored by Yann Regis-Gianas on 08 January 2021, 08:49:03 UTC
Merge branch 'yrg@optimize-mu' into 'master'
Tip revision: c46b154
.ocamlformat
wrap-fun-args=false
let-binding-spacing=compact
field-space=loose
break-separators=after-and-docked
sequence-style=separator
doc-comments=before
margin=80
module-item-spacing=sparse
parens-tuple=always
parens-tuple-patterns=always
back to top