Skip to content
Snippets Groups Projects
Commit 36247d2f authored by William Salmon's avatar William Salmon
Browse files

Basic options for shell --build to use buildtrees

Fixes issue #740
parent 2a0676c3
No related branches found
No related tags found
No related merge requests found
Pipeline #39309864 failed
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment