Ahmed Kamal daa712ae99 support floonet, separate entrypoint from cmd, add docker volume (#2265) ... * support floonet, separate entrypoint from cmd, add docker volume * Separate Dockerfile for floonet * Spelling and docs		2019-01-01 16:00:21 -08:00
..
gen_gen	Re-launch floonet (#2249)	2018-12-28 14:46:21 -08:00
crate-release.sh	Slight crate order tweak, publish the root	2018-12-07 14:32:36 -08:00
Dockerfile	support floonet, separate entrypoint from cmd, add docker volume (#2265)	2019-01-01 16:00:21 -08:00
Dockerfile.floonet	support floonet, separate entrypoint from cmd, add docker volume (#2265)	2019-01-01 16:00:21 -08:00
shell.nix	Moving distro-related files to etc subdir	2018-11-08 22:29:30 +00:00