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.

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

Live #6

Open
wants to merge 3 commits into
base: live
Choose a base branch
from
Open

Live #6

wants to merge 3 commits into from

Commits on Jun 16, 2017

  1. Improved display of indicate_progress.

    Added sensible defaults for main build. Defused time-bomb in make clean.
    bruhns committed Jun 16, 2017
    Configuration menu
    Copy the full SHA
    31d771b View commit details
    Browse the repository at this point in the history

Commits on Jun 18, 2017

  1. Improved readability of output.

    Now easier to  parse.
    bruhns committed Jun 18, 2017
    Configuration menu
    Copy the full SHA
    10576fd View commit details
    Browse the repository at this point in the history

Commits on Jun 19, 2017

  1. Configuration menu
    Copy the full SHA
    4c17605 View commit details
    Browse the repository at this point in the history