Robert Jördens 30cb821197 manual/installing: fix conda channel url and note		2022-07-25 15:49:35 +02:00
..
logo	update logo	2016-04-30 00:30:24 +08:00
manual	manual/installing: fix conda channel url and note	2022-07-25 15:49:35 +02:00
slides	doc: Fix ancient trigger code in slides	2018-11-03 20:33:19 +08:00