deleted custom categories are not removed from plugin.xmi
1 file changed
tree: bdb16406e3c83f5ed0d136a9cbfe9a5b250881c5
  1. 1.5/