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.

Sign up for GitHub

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

Jump to bottom

Provide a way to manually specify versions of tools #12

Open
jimporter opened this issue Aug 5, 2015 · 0 comments
Open

Provide a way to manually specify versions of tools #12

jimporter opened this issue Aug 5, 2015 · 0 comments
Milestone
future

Comments

@jimporter
Copy link
Owner

jimporter commented Aug 5, 2015 •
edited
Loading

This way, if the tool (or backend) you wish to use isn't in the path, you can still use fancy new features.
@jimporter jimporter added this to the 0.2 milestone Aug 18, 2015
@jimporter jimporter mentioned this issue Jan 8, 2016
Closed
@jimporter jimporter modified the milestones: future, 0.2 Apr 8, 2016
@jimporter jimporter changed the title Provide a way to manually specify a backend's version Provide a way to manually specify versions of tools Jul 23, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
future
Development

No branches or pull requests
1 participant
@jimporter