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

Make executable names configurable #7118

Merged
merged 3 commits into from
Apr 18, 2019
Merged

Make executable names configurable #7118

merged 3 commits into from
Apr 18, 2019

Commits on Apr 12, 2019

  1. Make executable names configurable

    @conr2d
    conr2d committed Apr 12, 2019
    Configuration menu
    Copy the full SHA
    98eb3ac View commit details
    Browse the repository at this point in the history

  2. Fix more hard-coded executable names

    @conr2d
    conr2d committed Apr 12, 2019
    Configuration menu
    Copy the full SHA
    ae4f241 View commit details
    Browse the repository at this point in the history

Commits on Apr 16, 2019

  1. Add missing whitespace for node execution command

    @conr2d
    conr2d committed Apr 16, 2019
    Configuration menu
    Copy the full SHA
    5f5327e View commit details
    Browse the repository at this point in the history