Skip to content

Remove empty ToC#410

Merged
britsta merged 1 commit into
mainfrom
remove-empty-toc
Jun 16, 2026
Merged

Remove empty ToC#410
britsta merged 1 commit into
mainfrom
remove-empty-toc

Conversation

@britsta

@britsta britsta commented Jun 15, 2026

Copy link
Copy Markdown
Contributor

Readiness checklist

  • I ensured that the PR title is good enough.
  • I labeled the PR.
  • I self-reviewed the PR.

Description

The ToC of the use cases overview page is empty. Therefore, it can be removed.

@britsta britsta requested a review from tnotheis as a code owner June 15, 2026 15:01
@britsta britsta added the chore Some routine work like updating dependencies label Jun 15, 2026
@britsta britsta changed the title Remove empty toc Remove empty ToC Jun 15, 2026
@britsta britsta merged commit ce2f39f into main Jun 16, 2026
8 checks passed
@britsta britsta deleted the remove-empty-toc branch June 16, 2026 07:17
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

chore Some routine work like updating dependencies

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants