Skip to content
Snippets Groups Projects

rm include

Passed
Wuttke, Joachim created pipeline for commit 3f946871
, finished
1 related merge request: !569 GUI: Replace MainWindows::instance by global pointer; decouple ProjectManager from MainWindow
branch
3 jobs 10 minutes 28 seconds, queued for 4 seconds