Skip to content
GitLab
Explore
Sign in
Register
Fix
#64
: Document package-local nicknames
Code
Review changes
Check out branch
Download
Patches
Plain diff
Expand sidebar
Raymond Toy
requested to merge
issue-64-document-package-local-nicknames
into
master
Jun 15, 2025
Overview
24
Commits
4
Pipelines
4
Changes
2
Add a new section at the end of the Design Choices section to describe package-local nicknames.
Merge request reports
Loading