Christian Helmuth 5514671630 Improve error message on wrong tool chain (fix #1642)
Following the proposal of @jameysharp.
2015-08-21 10:59:45 +02:00
..
2015-07-21 09:28:25 +02:00