-
piotr.kupczyk@id.ethz.ch authored
NG_UI : plugins : SSDM-10401 - added 'Tools' tab to the main menu with empty tools browser, tools search and tools object panels
piotr.kupczyk@id.ethz.ch authoredNG_UI : plugins : SSDM-10401 - added 'Tools' tab to the main menu with empty tools browser, tools search and tools object panels
