Pavel Djundik 14e2174d44 Generate correct emoji unicode		2017-10-29 10:41:53 +02:00
..
audio	Added badges and notifications	2014-07-08 01:15:10 +02:00
css	reduce padding around titles	2017-10-18 21:00:18 +01:00
img	Replace favico.js with our simpler solution	2016-02-28 01:27:30 +02:00
js	Generate correct emoji unicode	2017-10-29 10:41:53 +02:00
themes	Remove content borders on mobile to maximise use of space	2017-10-01 22:02:22 +01:00
views	Implement session list	2017-09-26 10:56:08 +03:00
index.html	Use monospace font in custom CSS textarea	2017-09-26 11:21:42 -04:00
manifest.json
robots.txt
service-worker.js	Group push notifications per target	2017-09-19 12:01:50 +03:00