Fix typos of 'Shortcuts' in documentation

banacorn / agda-mode-vscode

agda-mode on VS Code

MIT License

169 stars 39 forks source link

Closed pragma- closed 2 years ago

pragma- commented 2 years ago

Additionally, lines that contained trailing whitespace were trimmed.

pragma- commented 2 years ago

closes #110

banacorn commented 2 years ago

Thanks!