API docs generator: keep developer-tools SUMMARY in sync - #1897

Oct 6, 2026

API docs generator: keep developer-tools SUMMARY in sync#1897
VeronicaSnyk merged 1 commit into
mainfrom
fix/api-docs-generator-summary-sync

Keep developer-tools SUMMARY in sync from the API docs generator