Rev. 253 created by TheRealCircus 2019-06-09 05:04:47

Windows 10 works the same way for Ctrl+Shift+Esc

Rev. 318 (Current) created by Fincy 2022-03-02 21:05:14

unnecessary page, deleting