Massimiliano Assante f97d33c9e5 Feature #17913 ... Workspace widget: remove "VRE" term when in a VRE and replace "_" with blank for cutting long names		2019-10-31 12:39:58 +01:00
..
wswidget	Feature #17913	2019-10-31 12:39:58 +01:00