[324927] Do not serialize configurations that are contributed by Eclipse plug-ins.

Signed-off-by: Florian Thienel <florian@thienel.org>
9 files changed
tree: 978674bebf1f01866a8165ce5f7fe7dc99690f88
  1. .settings/
  2. sourceediting/