Daniel Jupp e507291bb6 Make.py Mikero tools detection fix (#5774)
* make.py mikero tools registry bug fix

* Fixed missed change

* Spaces after comma
2017-11-22 23:10:30 +01:00
..
2015-05-24 22:07:12 +02:00
2016-05-24 14:08:18 +01:00
2017-05-14 14:48:05 -05:00