Skip to content

Y20230731-1000

@alex2145 alex2145 tagged this 31 Jul 13:29
Replace deprecated preferences APIs.

Partially fixes
https://github.com/eclipse-platform/eclipse.platform/issues/497
Assets 2
Loading