Skip to content

Simplify Pkg_rules.source_files a bit#14301

Merged
Alizter merged 1 commit intoocaml:mainfrom
ElectreAAS:push-mstrszkyulwz
Apr 24, 2026
Merged

Simplify Pkg_rules.source_files a bit#14301
Alizter merged 1 commit intoocaml:mainfrom
ElectreAAS:push-mstrszkyulwz

Commits

Commits on Apr 23, 2026