Michael Rodler 006850ea5e Changed helper function for workspace->num assignment to a static method of Workspaces class
and adapted comments/method name to be consistent with the rest
2020-07-27 10:56:49 +02:00
..
2020-06-12 15:19:46 +02:00
2020-05-19 10:37:27 +00:00
2019-05-29 17:53:22 +02:00
2019-05-29 17:53:22 +02:00
2020-05-19 10:43:42 +00:00
2019-05-29 17:53:22 +02:00
2019-09-25 08:47:33 +02:00
2020-05-19 10:42:21 +00:00
2020-01-07 09:15:54 -08:00
2020-05-19 10:37:27 +00:00
2020-04-25 18:44:48 +02:00