Skip to content

chore: even less distracting menu - #2949

Merged
gagdiez merged 1 commit into
masterfrom
even-less-menu
Jan 22, 2026
Merged

chore: even less distracting menu#2949
gagdiez merged 1 commit into
masterfrom
even-less-menu

Commits

Commits on Jan 22, 2026

  • chore: even less distracting menu

    Guillermo Alejandro Gallardo DiezGuillermo Alejandro Gallardo Diez
    Guillermo Alejandro Gallardo Diez
    authored and
    Guillermo Alejandro Gallardo Diez
    committed
    15dc025