[202207] Don't implement IMemento from org.eclipse.ui
3 files changed
tree: ded8ac99c1dd061eb5c6a30fd2550e18bc87e5cc
  1. features/
  2. plugins/