8000 fix: --ignore-promoted-rules should work on internal rules by rgrinberg · Pull Request #8518 · ocaml/dune · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

fix: --ignore-promoted-rules should work on internal rules#8518

Merged
rgrinberg merged 1 commit intomainfrom
ps/rr/fix____ignore_promoted_rules_should_work_on_internal_rules
Aug 28, 2023
Merged

fix: --ignore-promoted-rules should work on internal rules#8518
rgrinberg merged 1 commit intomainfrom
ps/rr/fix____ignore_promoted_rules_should_work_on_internal_rules

Commits

Commits on Aug 28, 2023
0