Skip to content

Change shortcut for 'interface declaration' to 'i'#30

Merged
josefpihrt merged 2 commits intomainfrom feature/interfaceJul 19, 2022

Commits

Commits on Jul 19, 2022