aboutsummaryrefslogtreecommitdiff
path: root/motus/motus.opam
diff options
context:
space:
mode:
authorSébastien Dailly <sebastien@dailly.me>2022-02-22 14:14:04 +0100
committerSébastien Dailly <sebastien@dailly.me>2022-02-22 14:14:04 +0100
commit89dbb39c3fcd188ef7acf092061d756046b2c5d4 (patch)
tree951b430d7e99003dd97b44675f206248bb95a858 /motus/motus.opam
parent82bb54622a47bb092094c8efab8200b12817c5b4 (diff)
Reformating
Diffstat (limited to 'motus/motus.opam')
0 files changed, 0 insertions, 0 deletions