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/ui/

.. drwxr-xr-x
badges.html 746 -rw-r--r-- file | revisions | annotate
codes.html 1668 -rw-r--r-- file | revisions | annotate
time.html 69 -rw-r--r-- file | revisions | annotate