Repository navigation

Restore possibility to use anchors - #12

Merged

tvdijen merged 3 commits into

mainfrom

feature/anchors

Oct 10, 2025

Merged

Restore possibility to use anchors#12
tvdijen merged 3 commits into
mainfrom
feature/anchors

Commits on Dec 18, 2024
- Restore possibility to use anchors
  tvdijen
  authored
  ca27394
- Fix indentation + remove lots of excess whitespace
  tvdijen
  committed
  dd07dda
Commits on Oct 10, 2025
- Fix indentation
  tvdijen
  authored
  47cca4e