tree 825ceab9307170cb2352e6f69b18e84aa0bddceb
parent a19bff87d338c698adb273f31f70b96e57515b46
author Eike Stepper <stepper@esc-net.de> 1612266386 +0100
committer Eike Stepper <stepper@esc-net.de> 1612266386 +0100

[570839] [UI] Reopen CDOLob editors after a restart

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