65b9da926b
Because the workadventu.re website documentation regarding map building directly comes from that repo, it makes sense to export the menu in the repo. This way, when we add a new documentation page, we can edit the menu in the same pull request. |
||
---|---|---|
.. | ||
maps | ||
diagrams.md |