summaryrefslogtreecommitdiff
path: root/motus/motus.opam
diff options
context:
space:
mode:
authorSébastien Dailly <sebastien@dailly.me>2022-02-07 13:40:36 +0100
committerSébastien Dailly <sebastien@dailly.me>2022-02-07 16:22:43 +0100
commitc0c82a7bfe8300b1bd50fee11074837ff32d3da0 (patch)
tree9d22cb772d2a16023edfe6c86f4f9f03be5f9c49 /motus/motus.opam
parent2e29673fa970b814c97d5838963de49c2a65424b (diff)
Renamed fonctions in application framework, updated doc
Diffstat (limited to 'motus/motus.opam')
0 files changed, 0 insertions, 0 deletions