tree 35667f7f3e61da3aa0ff1155b87057f72dc9927e
parent a2784b3c62a261fbc39de006c618765b89e23113
author Ed Willink <ed@willink.me.uk> 1711266271 +0000
committer Ed Willink <ed@willink.me.uk> 1711266271 +0000

[releng] Workaround tighter
DefaultCodeFormatterConstants.getEclipseDefaultSettings() API