Allow more configuration to install directories#6761
Draft
rjbou wants to merge 2 commits intoocaml:masterfrom
Draft
Allow more configuration to install directories#6761rjbou wants to merge 2 commits intoocaml:masterfrom
rjbou wants to merge 2 commits intoocaml:masterfrom