Commit Graph

2 Commits

Author SHA1 Message Date
berniev
a4693a2748 cast max 2022-12-02 00:50:00 +01:00
wmayer
6a8468f5bd Gui: implement WorkbenchSwitcher class to encapsulate the parameter details 2022-11-11 22:53:02 +01:00