docs: update generated docs#7337

github-actions[bot] wants to merge 1 commit into

masterbndtools/bnd:masterfrom

docs/gen-2026-07-27-122828bndtools/bnd:docs/gen-2026-07-27-122828Copy head branch name to clipboard