Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Use windows console groups for process management #879

Merged
merged 2 commits into from
Jan 3, 2019
Merged

Use windows console groups for process management #879

merged 2 commits into from
Jan 3, 2019

Commits on Jan 3, 2019

  1. Use windows console groups and ctrl-c for signal handling

    @lox
    lox committed Jan 3, 2019
    Configuration menu
    Copy the full SHA
    d5b9f47 View commit details
    Browse the repository at this point in the history

  2. Skip test that fails in docker

    @lox
    lox committed Jan 3, 2019
    Configuration menu
    Copy the full SHA
    a6eb9db View commit details
    Browse the repository at this point in the history