somebody1234 85a1bda213 Fix build-dashboard (#8292)		2023-11-14 15:34:33 +01:00
..
gui	More fine grained initialization for resources (#8242)	2023-11-08 08:57:31 +00:00
gui2	Fix node placement (#8277)	2023-11-14 08:53:07 +00:00
ide-desktop	Fix build-dashboard (#8292)	2023-11-14 15:34:33 +01:00