commit | 65928c19ff23cc6e47d414758a8f54af0c5a98d7 | [log] [tgz] |
---|---|---|
author | Simon Reis <simon.reis@pta.de> | Thu Aug 13 15:32:58 2020 +0200 |
committer | Simon Reis <simon.reis@pta.de> | Thu Aug 13 15:32:58 2020 +0200 |
tree | a023321375bce5c725a7c0445c126a11fd53afe9 | |
parent | ed43858efa3a60138eeb6976b01c9c253ae6c233 [diff] | |
parent | f304435e5877e9f49001234a37df5ee02518def2 [diff] |
Merge branch 'DEVELOP' of ssh://git.eclipse.org:29418/openk-usermodules/org.eclipse.openk-usermodules.gridFailureInformation.backend into DEVELOP