tree d7801999ad86d063ff6378151710c5c410d6ba6e
parent 6047e7111b508b45bdc32424dbda4550c49b4134
author hstaudacher <hstaudacher@eclipsesource.com> 1353690067 +0100
committer hstaudacher <hstaudacher@eclipsesource.com> 1353690067 +0100

Refactored Synchronizer API.