This repository was archived by the owner on Jan 23, 2026. It is now read-only.

Improve profile ergonomics#312

Merged

robindiddams merged 1 commit intomainfrom

profile-spruceup

May 19, 2025

Commits on May 19, 2025

Improve profile ergonomics
robindiddams
committed