Skip to content

Drop ScipBuildTool and related code#885

Closed
jupblb wants to merge 3 commits into
mainfrom
michal/scip-build
Closed

Drop ScipBuildTool and related code#885
jupblb wants to merge 3 commits into
mainfrom
michal/scip-build

Restore ScipBuildTool to keep Bazel indexing working

9194b06
Select commit
Loading
Failed to load commit list.