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

Change launch_tool to tool_launch in Launcher #165

Merged
merged 1 commit into from Jul 8, 2015

Conversation

@bryananderson
Copy link
Contributor

@bryananderson bryananderson commented Jul 7, 2015

Since tools/launch_tool.rb was changed to tools/tool_launch.rb in 3.5.0, the corresponding change needed to be made in Launcher.

Since tools/launch_tool.rb was changed to tools/tool_launch.rb in 3.5.0, the corresponding change needed to be made in Launcher.
jmthomas added a commit that referenced this pull request Jul 8, 2015
Change launch_tool to tool_launch in Launcher
@jmthomas jmthomas merged commit 25f2db3 into BallAerospace:master Jul 8, 2015
1 check passed
1 check passed
continuous-integration/travis-ci/pr The Travis CI build passed
Details
@jmthomas
Copy link
Member

@jmthomas jmthomas commented Jul 8, 2015

Good catch! We also need to fix the batch file. I'll do that.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Linked issues

Successfully merging this pull request may close these issues.

None yet

2 participants
You can’t perform that action at this time.