chore: regenerate the updated platform files

This commit is contained in:
Abdessamad Derraz committed 2026-10-20 13:20:34 +02:00
1 parent 048334cc82
commit e9e56f545d
13 files changed
+69 -2

No files matched your search

+1 -1
View File
@@ -828,7 +828,7 @@ nav:
- Cross-reference: cross-reference.md
- Gap analysis: gaps.md
- Dump provenance: provenance.md
- Corrected platform files: exports.md
- Updated platform files: exports.md
- Data & API: data.md
- Wiki:
- Overview: wiki/index.md