Skip to content
Snippets Groups Projects

Fix wrong definition of compiler launcher for CI.

Merged Ghislain MARY requested to merge fix/wrong-definition-of-compiler-launcher-for-ci into master
  1. Nov 28, 2018