Skip to content
This repository has been archived by the owner on Nov 6, 2020. It is now read-only.

Fix executive. #117

Merged
merged 2 commits into from
Jan 14, 2016
Merged

Fix executive. #117

merged 2 commits into from
Jan 14, 2016

Commits on Jan 14, 2016

  1. Fix executive.

    @gavofyork
    gavofyork committed Jan 14, 2016
    Configuration menu
    Copy the full SHA
    efdad2e View commit details
    Browse the repository at this point in the history

  2. Trace cleanup.

    @gavofyork
    gavofyork committed Jan 14, 2016
    Configuration menu
    Copy the full SHA
    a17354f View commit details
    Browse the repository at this point in the history