tree d60b0575a7ef3dff32c28a56080a03cb8dc911af
parent 5a854b2a9b78c21b8813284bf6193810d41ec31d
parent c45812b4176916de262fe1499d6b95f908988ad4
author dietricf <frank.dietrich@pta.de> 1589865085 +0200
committer dietricf <frank.dietrich@pta.de> 1589865085 +0200

Merge branch 'master' of ssh://git.eclipse.org:29418/openk-usermodules/org.eclipse.openk-usermodules.gridFailureInformation.documentation