summaryrefslogtreecommitdiff
path: root/motus/lib/dune
blob: b95892259f47694b001166c78d1d2783bab63612 (plain)
1
2
3
4
5
6
7
(library
 (name
    motus_lib
 )
 )