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

about summary refs log tree commit diff

path: root/lib/application/dune

blob: 46612830cd0d60c25ef158b826b79a03782fda12 (plain)

(library
 (name application)
 (libraries 
   brr
   brr.note
   elements
   )
 )