commit | f0990a03691b49c1147da389e14ed962d6c2f68b | [log] [tgz] |
---|---|---|
author | Stephan Wahlbrink <sw@wahlbrink.eu> | Wed Mar 17 19:24:49 2021 +0100 |
committer | Stephan Wahlbrink <sw@wahlbrink.eu> | Wed Mar 17 19:24:49 2021 +0100 |
tree | fcacf8d17b109e8236a52571b72787915dce54f3 | |
parent | bcc70c4918fad531a89a230c58aecfa8d308e38a [diff] |
Bug 572002: Make use of IResource.createMarker(type, attribute) added in Platform 4.19 Change-Id: Ia1dffca0f4f9a9b27f91107d9ceda9a7792378dc