admin/revng-revng
1
0
Fork 0
mirror of https://github.com/revng/revng synced 2026-06-21 14:07:57 +00:00
Code Issues Packages Projects Releases Wiki Activity

Docs: add python-scripting.md to index

Browse Source
This commit is contained in:
Alessandro Di Federico
2025-07-18 09:28:51 +02:00
parent 3c9a5d564f
commit b449883931
1 changed files with 1 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
mkdocs.yml
+1
View File
@@ -27,6 +27,7 @@ nav:
- Tutorial:
- "A model from scratch": "user-manual/tutorial/model-from-scratch.md"
- "Running analyses": "user-manual/tutorial/running-analyses.md"
- "Python scripting": "user-manual/python-scripting.md"
- "References":
- "Model": references/model.md
- Artifacts: references/artifacts.md