get rid of leading arrow in commands so they are copyable#44
Merged
dasormeter merged 2 commits intomainfrom Jan 12, 2026
Merged
get rid of leading arrow in commands so they are copyable#44dasormeter merged 2 commits intomainfrom
dasormeter merged 2 commits intomainfrom