8 Commits

Include renames

Author	SHA1	Message	Date
Mario Pesch	a8cf038821	rename variableDB to nameDB ... rename variableDB_ to nameDB_ as it is deprecated	2021-09-17 12:26:18 +02:00
Mario Pesch	6a6b2e2f58	get rid of console.log	2021-03-24 17:07:23 +01:00
Mario	70c8a1db60	add feature to hide Workspace stats	2020-11-05 18:30:27 +01:00
Mario	5da3006e75	small fixes	2020-11-05 14:38:38 +01:00
Mario	8e2deed1d5	init implementation of procedures	2020-11-05 11:05:14 +01:00
Mario	42299a374a	minor changes	2020-09-17 15:16:41 +02:00
Mario	4e2b25947d	solve compiling warnings	2020-07-31 11:27:53 +02:00
Mario	440622a66c	add sensebox sensor blocks	2020-07-31 11:10:22 +02:00