diff --git a/examples/tutorials/README.md b/examples/tutorials/README.md new file mode 100644 index 000000000..8ed7c8d0d --- /dev/null +++ b/examples/tutorials/README.md @@ -0,0 +1,5 @@ +Tock Mini Tutorials +=================== + +See the [book](https://book.tockos.org) for more information on the tutorials. +