Repository navigation

Fix GitLab clone URL + cross-link to source mirrors - #2231

Merged

dscho merged 2 commits into

toon-gitlab-clone-typo-fix

Oct 16, 2026

Merged

Fix GitLab clone URL + cross-link to source mirrors#2231
dscho merged 2 commits into
gh-pagesfrom
toon-gitlab-clone-typo-fix

Commits on Oct 15, 2026
- install/source: fix small typo
  To1ne
  committed
  5874957
- root: cross-link to different source code mirrors
  To1ne
  committed
  0f8f958