tree cd25e8bd8e9ae220b64fe36ea0fb93cd14360363
parent 5b8aae7d4bdef9d5ba447d0d914dcb3482173a06
author Eike Stepper <stepper@esc-net.de> 1372845575 +0200
committer Eike Stepper <stepper@esc-net.de> 1372845575 +0200

[412185] Automatic saving of project/repo properties does not work 
https://bugs.eclipse.org/bugs/show_bug.cgi?id=412185