142:41d0a4c7376a
Anton Shestakov <av6@dwimlabs.net>, Sat, 16 Jul 2016 21:07:54 +0800
checker: print requested linters without duplicates Also, some linters could come preinstalled (compiled, as distro packages), so they don't necessarily need to be installed.

/templates/

.. drwxr-xr-x
ui/ drwxr-xr-x files
404.html 305 -rw-r--r-- file | revisions | annotate
500.html 305 -rw-r--r-- file | revisions | annotate
base.html 2183 -rw-r--r-- file | revisions | annotate
check.html 3493 -rw-r--r-- file | revisions | annotate
index.html 1171 -rw-r--r-- file | revisions | annotate
project.html 1596 -rw-r--r-- file | revisions | annotate
status.svg 970 -rw-r--r-- file | revisions | annotate