Skip to content

Add ide_velorum as default profile - #805

Merged
nicosammito merged 1 commit into
mainfrom
feat/#803
Jun 22, 2026
Merged

Add ide_velorum as default profile#805
nicosammito merged 1 commit into
mainfrom
feat/#803

Commits

Commits on Jun 22, 2026