Skip to content

[configurator] more flexible #define parsing#3739

Merged
rgrinberg merged 1 commit intoocaml:masterfrom rgrinberg:configurator-allow-duplicate-valuesAug 25, 2020
+40-19

Commits

Commits on Aug 25, 2020