-
John van Groningen authored
use DQuitCompilers if the cancel button was pressed during parallel build, in ProcessCompilerMsg yield True if the paths have changed
76ddaa39
We are planning to upgrade GitLab to the latest version this Friday morning. Expect some downtime!
use DQuitCompilers if the cancel button was pressed during parallel build, in ProcessCompilerMsg yield True if the paths have changed