Oliver Schneider 45bab501e1 Fix typo in lint dump script

2018-06-15 17:45:52 +02:00

..

gh-pages

…

cov.sh

…

dogfood.sh

…

export.py

…

lintlib.py

…

update_lints.py

Fix typo in lint dump script

2018-06-15 17:45:52 +02:00