diff options
author | Akshay <[email protected]> | 2021-03-27 08:36:31 +0000 |
---|---|---|
committer | Akshay <[email protected]> | 2021-03-27 08:36:31 +0000 |
commit | d0d222c3f7e765437f2fdfa5754654a8a815f52e (patch) | |
tree | de1455d284fb6f2fb1d6da909dcbfe1c534a6960 | |
parent | edd17c604ed1e6ffa53f987bf6c66f40c89634da (diff) |
misteak
-rw-r--r-- | readme.md | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -42,5 +42,5 @@ execute it. The REPL supports basic readline operations. | |||
42 | `(save <filename>)`: saves the current file. optional | 42 | `(save <filename>)`: saves the current file. optional |
43 | argument to save to a different filename than the one opened | 43 | argument to save to a different filename than the one opened |
44 | from. | 44 | from. |
45 | `(quit)`: quit the [editor](editor) | 45 | `(quit)`: quit the editor. |
46 | 46 | ||