| commit | 5035c55697a072e73eefbecbfe006ab3788f8ce5 | [log] [tgz] |
|---|---|---|
| author | Daniel Strüber <strueber@mathematik.uni-marburg.de> | Fri Nov 15 15:26:34 2019 +0100 |
| committer | Daniel Strüber <strueber@mathematik.uni-marburg.de> | Fri Nov 15 15:26:34 2019 +0100 |
| tree | e54a39be1548132071b99c316f8774bdd3d92372 | |
| parent | fee7dae5a6ed20b425ffed669a1632e8a87fc176 [diff] |
Fix syntax error from previous commit Fixes an error introduced in https://git.eclipse.org/r/#/c/151393/ Change-Id: Id0419bb155a971da5ba15e6eb176d4598293180b