term.js icon indicating copy to clipboard operation
term.js copied to clipboard
verified publisher icon chjj

Fix lines with no effect that fail linting tools

Open stefwalter opened this issue 8 years ago • 1 comments

These lines fail coverity linting tools because they have no effect. This is a minor change, but would help folks using such linting tools.

stefwalter avatar Mar 16 '17 08:03 stefwalter

CC @dperpeet

stefwalter avatar Mar 16 '17 08:03 stefwalter