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

re-enable ignoring commands in history #524

Merged
merged 1 commit into from Sep 9, 2017

Conversation

Projects
None yet
2 participants
@nivkner
Contributor

nivkner commented Sep 9, 2017

The ability to ignore commands was removed in 6308880f6a without any explanation why and the Documentation still refers to this feature so this PR bring it back.

@mmstick mmstick merged commit 0a1564e into redox-os:master Sep 9, 2017

1 check passed

continuous-integration/travis-ci/pr The Travis CI build passed
Details
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment