topjohnwu 75ab1fa570 Micro optimizations		2018-10-28 00:54:56 -04:00
..
full	Micro optimizations	2018-10-28 00:54:56 -04:00
main	Make dark theme cards slightly darker	2018-10-26 17:09:56 -04:00
stub	Updated German translations	2018-09-09 10:40:33 -04:00