diff options
Diffstat (limited to 'gen')
| -rw-r--r-- | gen/update_dune.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/gen/update_dune.ml b/gen/update_dune.ml index 0f39dd0..9442348 100644 --- a/gen/update_dune.ml +++ b/gen/update_dune.ml @@ -1,4 +1,5 @@ -let versions = ["402"; "403"; "404"; "405"; "406"; "407"; "408"; "409"; "410"] +let versions = + ["402"; "403"; "404"; "405"; "406"; "407"; "408"; "409"; "410"; "411"] let flags = "(:standard -w +A-4-17-44-45-105-42 -safe-string)" |