dune « blog « lib - blog_scripts.git - Applications du blog

about summary refs log tree commit diff

path: root/lib/blog/dune

blob: 648990ff56f11576f98314f78c692135c6b12c98 (plain)

1
2
3
4
5
6
7
8
9(executables
 (names 
    motus
 )
 (libraries motus_lib)
 )