commit | 333c5fd9367dca5662d463e7a85bde7fb62c021e | [log] [tgz] |
---|---|---|
author | Stephan Wahlbrink <sw@wahlbrink.eu> | Thu Apr 29 11:38:01 2021 +0200 |
committer | Stephan Wahlbrink <sw@wahlbrink.eu> | Thu Apr 29 11:38:01 2021 +0200 |
tree | afd2a6e35da3db4ddb25593f7639e8ef131b5107 | |
parent | 2327cd2085dec0c6061b9a2f1b742e21ff8cafd1 [diff] |
[SourceEditor] Fix nullable annotation of ElementNameCompletionProposal.element