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

Remove unused options #1369

Merged

Tyriar merged 1 commit into xtermjs:master from Tyriar:897_dead_options

Apr 16, 2018

Member

Tyriar commented Apr 4, 2018

Fixes #897


          Remove unused options

87f21f1

Fixes xtermjs#897

Tyriar added this to the 3.4.0 milestone

Tyriar self-assigned this

Member

bgw commented Apr 16, 2018

LGTM

bgw approved these changes

View reviewed changes

Tyriar merged commit ceffb35 into xtermjs:master

Tyriar deleted the 897_dead_options branch

April 16, 2018 13:25

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

Labels

None yet