commit | cb6a19af506243cb0411a3f024f105c767610837 | [log] [tgz] |
---|---|---|
author | Dimitrios Chalepakis <dimitrios.chalepakis@pta.de> | Tue Jul 21 10:40:55 2020 +0200 |
committer | Dimitrios Chalepakis <dimitrios.chalepakis@pta.de> | Tue Jul 21 10:40:55 2020 +0200 |
tree | bfa8eabc96e10f5fd88493ea724cb87642a32261 | |
parent | d32a686dbb8f54b8b2d94fc2164238df7d0d7dea [diff] | |
parent | 295c159915ed1c5663fd13f3b6464e9eede7dca0 [diff] |
Merge branch 'DEVELOP' of ssh://git.eclipse.org:29418/openk-usermodules/org.eclipse.openk-usermodules.gridFailureInformation.backend