Robert Jördens 06bb1a2774 doc/installing_from_source: update/fix (closes #516)		2016-07-21 16:33:51 +02:00
..
logo	update logo	2016-04-30 00:30:24 +08:00
manual	doc/installing_from_source: update/fix (closes #516)	2016-07-21 16:33:51 +02:00
slides	doc: convert to 'with parallel'	2016-02-23 15:53:41 +08:00