Pavel Djundik 357e238a45 Fix how highlights are handled		2016-02-28 01:30:20 +02:00
..
audio	Added badges and notifications	2014-07-08 01:15:10 +02:00
css	Fix #111: Simplify message padding	2016-02-28 01:22:52 +02:00
img	Update image files	2014-09-28 15:46:32 -07:00
js	Fix how highlights are handled	2016-02-28 01:30:20 +02:00
themes	Fix built-in themes broken by #75.	2016-02-25 02:29:51 -05:00
views	Fix how highlights are handled	2016-02-28 01:30:20 +02:00
index.html	Replace bootstrap tooltips with css tooltips from Primer	2016-02-21 21:47:09 +02:00
robots.txt	Normalize line endings	2014-09-13 14:29:45 -07:00