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

Add ide_velorum as default profile

450c437
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar