-
Andreas Zwinkau authored
Use python2 because scripts/gen_ir.py uses "#!/usr/bin/env python"
98b6ac00
Validating GitLab CI configuration…
Learn more
Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
Use python2 because scripts/gen_ir.py uses "#!/usr/bin/env python"