tree 61656afbabb2c36260a017d3719ed7198fadc02b
parent 1b67301fa112d975a33cc5e4c1c8d5f4a191ebfe
author Eike Stepper <stepper@esc-net.de> 1611126405 +0100
committer Eike Stepper <stepper@esc-net.de> 1611126405 +0100

[570498] [UI] Provide a preference to hide EObjects from checkouts in Project Explorer

https://bugs.eclipse.org/bugs/show_bug.cgi?id=570498