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

rename executables with shorter names #177

Merged
merged 1 commit into from Jun 28, 2017

Conversation

Projects
None yet
2 participants
@mikaelarguedas
Copy link
Contributor

commented Jun 28, 2017

NOTE: I changed only the names of the executables and not the package names

fixes #174
connects to #174

@wjwwood
Copy link
Member

left a comment

Looks reasonable to me.

@wjwwood

This comment has been minimized.

Copy link
Member

commented Jun 28, 2017

I don't think these are referenced from the wiki, but it might be worth a couple greps through the wiki's git clone to spot check it.

@mikaelarguedas

This comment has been minimized.

Copy link
Contributor Author

commented Jun 28, 2017

Didnt find any reference of these on the wiki. Merging this

@mikaelarguedas mikaelarguedas merged commit b46cb61 into master Jun 28, 2017

@mikaelarguedas mikaelarguedas deleted the rename_executables branch Jun 28, 2017

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
You can’t perform that action at this time.