Loading
Commits on Source 2
-
Jürg Billeter authored
Fixes: e29aea36 ("Basic options for shell --build to use buildtrees")
-
Tristan Van Berkom authored
_frontend/app.py: Use buildtree for interactive shell on build failure See merge request !1039