Commit d00cb5a0 authored by Giovanni Bussi's avatar Giovanni Bussi
Browse files

Custom munster manual

I added a tab with the link to the tutorial.
This will be useful so that students do not get lost.
Moreover, "munster" appears explicitly in the version name,
to clarify that this is not 2.1.1

**We should revert this commit before merging munster on v2.1**
parent 652cdc77
Loading
Loading
Loading
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please to comment