Markus Mäkelä c984381662
Use devtoolset 7
As devtoolset 6 worked on CentOS 6, upgrading to devtoolset 7 is better as
it will be supported for a longer time.
2018-08-13 10:28:03 +03:00
..
2018-08-13 10:28:03 +03:00