Merge branch 'master' of gitlab.science.ru.nl:mlubbers/mTask
[mTask.git] / Utils / Devices.icl
2017-03-06 Mart Lubbersmerge
2017-03-06 Mart Lubbersworking again, externalized some device helper function...