summaryrefslogtreecommitdiff
path: root/dune-workspace
blob: 2b855ff1663682125e459c2597343a01b9e71b52 (plain) 
1
2
3
4
5

(lang dune 3.20)

(env
 (dev
  (flags :standard -warn-error -3-27-32)))