Giacomo Tesio 9d04fba8f2 cmds: rename `ns` to `ns/cat`		2017-10-25 00:22:26 +02:00
..
build.json	cmds: rename `ns` to `ns/cat`	2017-10-25 00:22:26 +02:00
cat.c	cmds: rename `ns` to `ns/cat`	2017-10-25 00:22:26 +02:00