public: virtual __thiscall developer_environment::tmde_workspace_manager::~tmde_workspace_manager(void)

Mangled name

??1tmde_workspace_manager@developer_environment@@UAE@XZ

Imported by

size	filename
2774888	tmdevenv.exe