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

(lang dune 3.20)

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