Sebastien Bourdeauducq 5f8acb3f96 manual: fix location of shell-dev.nix (#1346)		2019-08-05 13:34:35 +08:00
..
logo	update logo	2016-04-30 00:30:24 +08:00
manual	manual: fix location of shell-dev.nix (#1346)	2019-08-05 13:34:35 +08:00
slides	doc: Fix ancient trigger code in slides	2018-11-03 20:33:19 +08:00