Robert Jördens b56d37eb63 manual: fix table		2018-06-01 14:22:15 +02:00
..
logo	update logo	2016-04-30 00:30:24 +08:00
manual	manual: fix table	2018-06-01 14:22:15 +02:00
slides	doc/slides: minor fixes	2017-09-06 19:25:38 +08:00