Skip to content

Show linters error list only if not empty - #742

Merged
diraol merged 1 commit into
python-mode:developfrom
glujan:develop
Feb 14, 2018
Merged

diraol merged 1 commit into
python-mode:developfrom
glujan:develop

Commits

  1. Commits on Feb 14, 2018