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

Add selection replacement #400

Merged

noseglid merged 1 commit into noseglid:master from evmorov:run-selection

Apr 22, 2016

Contributor

evmorov commented Apr 19, 2016

Resolves #375


          Add selection replacement

aa2d738

Owner

noseglid commented Apr 22, 2016 •

edited

Loading

Very nice, thank you for this! Specs, docs, and also PR #400 ! Worth a 🎉

noseglid merged commit ffde98d into noseglid:master

3noch commented Apr 22, 2016

@evmorov 👏 Thank you!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet