Skip to content

src/Composer: fix $scipPhpVendorDir in case scip-php is installed as … - #797

Merged
davidrjenni merged 1 commit into
mainfrom
fix-scip-vendor-dir-235
Mar 28, 2026
Merged

src/Composer: fix $scipPhpVendorDir in case scip-php is installed as …#797
davidrjenni merged 1 commit into
mainfrom
fix-scip-vendor-dir-235

Commits

Commits on Mar 28, 2026