tree 3548f5c0549771e0b2930dd174302ebe1905117a
parent 50d043594b9de9f1fe57c95cb9fcf8de9b498633
parent b6389fa70cd6be2e5997398e3aca77133690b8dc
author Dennis Schmitt <dennis.schmitt@pta.de> 1601018625 +0200
committer Dennis Schmitt <dennis.schmitt@pta.de> 1601018625 +0200

Merge branch 'DEVELOP' of ssh://git.eclipse.org:29418/openk-usermodules/org.eclipse.openk-usermodules.gridFailureInformation.frontend into DEVELOP