Skip to content

Commit

Permalink
Fix README.
Browse files Browse the repository at this point in the history
  • Loading branch information
@jonaprieto
jonaprieto committed May 24, 2023
1 parent 25cf043 commit b5cd23a
Showing 1 changed file with 0 additions and 1 deletion.
1 change: 0 additions & 1 deletion README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -65,7 +65,6 @@ properly.
| typecheck | <kbd>Shift+Alt+T</kbd> |
| compile | <kbd>Shift+Alt+C</kbd> |
| run | <kbd>Shift+Alt+X</kbd> |
| repl | <kbd>Shift+Alt+E</kbd> |
| doctor | <kbd>Shift+Alt+D</kbd> |

However, we recommend using the Command Palette (<kbd>Ctrl</kbd><kbd>P</kbd>) to
Expand Down

0 comments on commit b5cd23a

Please sign in to comment.