Part 2 of fix for bug 372466: [Compatibility] Part tabs no longer show that they are busy (italic title)
5 files changed
tree: a3058546809ab3541042f7e938fe076590509c58
  1. .gitignore
  2. ant/
  3. platform/
  4. pom.xml
  5. update/