| commit | b24d6e03378abaaaccf6c302eec04dd0a626c629 | [log] [tgz] |
|---|---|---|
| author | Daniel Strüber <strueber@mathematik.uni-marburg.de> | Fri Sep 15 04:50:35 2017 +0200 |
| committer | Daniel Strueber <strueber@mathematik.uni-marburg.de> | Thu Sep 14 22:51:01 2017 -0400 |
| tree | f776bd878a5d9c310d93a1beefba1950ab626c94 | |
| parent | 79a66b9d104a6682e8f0493e23abf7c8e42c2182 [diff] |
Fix synchronization error in graphical editor Change-Id: Id44b570adfd3d3fb217d31541b3a418830826441