Skip to content
Snippets Groups Projects

Added exit command

Merged Morten Knutsen requested to merge github/fork/runborg/add_exit into master
  1. Feb 14, 2019
    • Runar Borge's avatar
      Added exit command · 0574e6cb
      Runar Borge authored
      for now only `quit` and `ctrl+d` is supported. added support for `exit`
      0574e6cb
Loading