3 commits

Author	SHA1	Message	Date
Wuzzy	9faeca3290	Devtest: Extend tooltips of many items and tools (#10312) ... Also show error message when using tools wrong	2020-09-04 20:50:03 +02:00
Wuzzy	3f702fa1a9	Fix undeclared global in devtest (#10133)	2020-07-02 19:05:06 +02:00
Wuzzy	083b285f43	Rename “Minimal development test” to “Development Test” (#9928)	2020-05-26 00:17:52 +02:00