Matthias Mair 005c8341bf Improve devdocs (#4813) ... * move devcontainer docs * rename bare metal pages * fix backlinks * Add getting started for devs * add mermaid * include contrib in docs * use another plugin * include everything * update doc checks * fix install command * remove mermaid * remove inclusion tag * remove empty list item * readd include-markdown * use non-conflicting syntax for include * fix table rendering in mkdocs * make controbuting embedable * re-add mermaid * remove empty section * resturcture * remove mermaid again		2023-06-09 10:16:30 +10:00
..
contributing.md	Improve devdocs (#4813)	2023-06-09 10:16:30 +10:00
devcontainer.md	Improve devdocs (#4813)	2023-06-09 10:16:30 +10:00
starting.md	Improve devdocs (#4813)	2023-06-09 10:16:30 +10:00