Hi, This sounds awesome!
2017-12-04 15:05 GMT+01:00 Arndt, Josua <jar...@ias.rwth-aachen.de>: > If there is demand for separately enabled shells I could do a PR, but this needs to be also well documented and I’m not quite sure which is the best way. Maybe I've missed something, but this is already possible by just deactivating the `shell_commands` module. Cheers, Martine > >
_______________________________________________ devel mailing list devel@riot-os.org https://lists.riot-os.org/mailman/listinfo/devel