Skip to content

Add Help button in profile and preference editors

af3c874
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

Add a "Help" button in GUI profile editor #1167

Add Help button in profile and preference editors
af3c874
Select commit
Loading
Failed to load commit list.
opam_dune_build (macos-14, 4.14.x)
succeeded Nov 13, 2025 in 2m 19s