Remove lint

This commit is contained in:
Andreas Hocevar
2017-06-26 14:56:07 +02:00
parent 3f5a6bca26
commit fe18636ff9