aboutsummaryrefslogtreecommitdiff
path: root/motus
diff options
context:
space:
mode:
authorSébastien Dailly <sebastien@dailly.me>2022-08-27 11:39:07 +0200
committerSébastien Dailly <sebastien@dailly.me>2022-08-27 11:39:07 +0200
commita32f1e426fe8dd73de0e2498838861888b78d776 (patch)
tree4b9c505abb49329448d9032d5a87844d60fdccf9 /motus
parent71286c4a0bbc0afd89622170a02908a9d978cc3e (diff)
Update ocamlformat configuration
Diffstat (limited to 'motus')
0 files changed, 0 insertions, 0 deletions