Skip to content
Back to pull request #4023

Fix incorrect shortcut keys for subscript and superscript plugins #717

Sign in to view logs

Fix incorrect shortcut keys for subscript and superscript plugins

Fix incorrect shortcut keys for subscript and superscript plugins #717

Run time

Learn about OS pricing on GitHub Actions
Job Run time
cleanup
4s
4s