 Henrik RydgårdandClaude Opus 5.5
|
7fd4029333
|
DevTools: Rename DeveloperToolsScreen to DeveloperSettingsPages
There's no screen in it any more, only the developer tools' settings pages.
Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
|
2026-10-25 16:01:35 +01:00 |
|