3 Commits

Include renames

Author	SHA1	Message	Date
Bjoern147andGitHub	e9f9759ba8	Fix Windows Explorer opening Documents instead of the workspace ... Closes #476	2026-06-10 12:18:25 +08:00
BubuandGitHub	dcbbaa8ece	Prefer Windows editor command shims ... Refs #1348	2026-06-10 01:04:23 +08:00
Mohamed BoudraandGitHub	3681fd132b	Open workspace files in desktop targets	2026-06-03 18:34:24 +08:00