Skip to content

GitLab

Merged
Created by Guido Gunther@guido.guntherOwner

Add a minimal help window

Mostly a placeholder for @joao.azevedo

Also wires up F1 and adds a menu entry to bring up help