Skip to content

ViewTool: rename 'edit' to 'editor' in command menu #175

ViewTool: rename 'edit' to 'editor' in command menu

ViewTool: rename 'edit' to 'editor' in command menu #175

build

succeeded Dec 25, 2025 in 15s