Skip to content
This repository has been archived by the owner on Jan 24, 2022. It is now read-only.

Exit process after running a command #1477

Merged
merged 1 commit into from
Feb 26, 2020
Merged

Exit process after running a command #1477

merged 1 commit into from
Feb 26, 2020

Commits on Feb 19, 2020

  1. Exit process after running command 

    Fixes #1469
    @spalladino
    spalladino committed Feb 19, 2020
    Configuration menu
    Copy the full SHA
    7cea884 View commit details
    Browse the repository at this point in the history