Skip to content

Shorten/simplify target names#22

Merged
VladimirUmek merged 1 commit into
mainfrom
fix_names
Feb 4, 2026
Merged

Shorten/simplify target names#22
VladimirUmek merged 1 commit into
mainfrom
fix_names

Commits

Commits on Feb 4, 2026