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.
previous change 131:0cb14e3f792e

templates/ui/time.html

Permissions: -rw-r--r--

File Latest Revisions Annotate Diff Comparison
Other formats:
JSON Raw
Feeds:
Atom RSS 
<time datetime="{{ datetime }}" title="{{ text }}">{{ text }}</time>