summaryrefslogtreecommitdiff
path: root/shapes/tools/dune
blob: a2c3fdb5281ce46e5b25793753e6c7d71908683d (plain)
1
2
3
4
5
6
(library
 (name tools)
 (libraries 
   gg
   )
  )