doc: Remove Shortcuts page (!566) · Merge requests · GNOME / GNOME Boxes · GitLab

The source project of this merge request has been removed.

Ghost User requested to merge (removed):doc-remove-shortcuts into main Jan 30, 2023

We already have a help-overlay.

Fixes: #905 (closed)