tree 22f07f9d159b7ad2318a5277225e89f6d5009cb4
parent 2f3f9de1689f7e605ffe819e36b9e97b905d98b5
author Eike Stepper <stepper@esc-net.de> 1441992641 +0200
committer Eike Stepper <stepper@esc-net.de> 1441992641 +0200

[476019] Support synchronization of local user preferences with a remote service

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