| commit | 891421fe80446067677d48428034b48955e7e0b4 | [log] [tgz] |
|---|---|---|
| author | Dimitrios Chalepakis <dimitrios.chalepakis@pta.de> | Wed Sep 16 10:40:02 2020 +0200 |
| committer | Dimitrios Chalepakis <dimitrios.chalepakis@pta.de> | Wed Sep 16 10:40:02 2020 +0200 |
| tree | 06d12323801f7e20d97c56388a85f512af423dca | |
| parent | 5c5ff598c8902e2e5635393b8116d7e83ae09739 [diff] | |
| parent | c6d8a71599c4a7c7b9ae67fad6a908086b7c2451 [diff] |
Merge branch 'DEVELOP' of ssh://git.eclipse.org:29418/openk-usermodules/org.eclipse.openk-usermodules.gridFailureInformation.backend into DEVELOP