aboutsummaryrefslogtreecommitdiff
path: root/dune-project
diff options
context:
space:
mode:
authorSébastien Dailly <sebastien@dailly.me>2022-02-07 15:26:02 +0100
committerSébastien Dailly <sebastien@dailly.me>2022-02-07 16:22:43 +0100
commit92fe01fc6e93faf3ef77b45eb77632bc2806f202 (patch)
tree6494d6b4f6e412df45b3356806d3449a048fce4d /dune-project
parent6cfd03b483b5edd809b7c94d74df2eb93ffa70aa (diff)
Reformat
Diffstat (limited to 'dune-project')
0 files changed, 0 insertions, 0 deletions