Skip to content

fix(rules): don't descend into automatic subdirs infinitely#7208

Merged
rgrinberg merged 1 commit intoocaml:mainfrom anmonteiro:anmonteiro/filter-automatic-subdirs-in-gen-rulesMar 2, 2023
+50-31

Commits

Commits on Mar 2, 2023