3 Commits

Author	SHA1	Message	Date
Michael Zanetti	1ea57cedee	make device name filter case insensitive	2020-01-16 11:43:20 +01:00
Michael Zanetti	59047704ae	More work on the editor	2020-01-16 11:43:20 +01:00
Michael Zanetti	687912a82c	More work on the script editor	2020-01-16 11:43:20 +01:00