summaryrefslogtreecommitdiff
path: root/dune-project
blob: 977e7d75e53cd488573ba8b366ce959f88b4d3f1 (plain) (blame)
1
2
(lang dune 1.1)
(using menhir 1.0)