chiark / gitweb /
lint: also check for trailing spaces in names
authorDaniel Martí <mvdan@mvdan.cc>
Sun, 31 Jan 2016 21:29:31 +0000 (21:29 +0000)
committerDaniel Martí <mvdan@mvdan.cc>
Sun, 31 Jan 2016 21:29:31 +0000 (21:29 +0000)
commitf58616136176919d5f81bb9f749f231d9efd1357
tree7160e29b3a562af08898e18ab747b3406c61291e
parent8f36adfd7be0572d02f8c1a7549d65c25d2ea5f1
lint: also check for trailing spaces in names

I was wrong - we don't check for trailing whitespaces on lines. That
would have to happen at parse time, not in the linter, so it would slow
things down and would become an error, not a warning. Not really worth
it.
fdroidserver/lint.py