summaryrefslogtreecommitdiff
path: root/elements/dune
blob: 755bd0521a6bf215ea3f1cd31ec3695d78275d34 (plain)
1
2
3
4
5
6
7
(library
 (name elements)
 (libraries 
   brr
   brr.note
   )
)