Sebastien Bourdeauducq 766d87f626 doc: artiq_coreconfig → artiq_coremgmt config. Closes #1111		2018-07-20 11:59:07 +08:00
..
logo	update logo	2016-04-30 00:30:24 +08:00
manual	doc: artiq_coreconfig → artiq_coremgmt config. Closes #1111	2018-07-20 11:59:07 +08:00
slides	doc/slides: minor fixes	2017-09-06 19:25:38 +08:00