diff options
| author | eerielili <lionel@les-miquelots.net> | 2023-06-25 11:39:07 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-06-25 13:39:07 +0200 |
| commit | da7be50f059e5a1536b58087d5cdb305bf86ef63 (patch) | |
| tree | 1a9e10a785ae92a6f819a1256561a6b515eb8f96 /configure | |
| parent | 4bb0c465fc8f1737a1f2668519a6e0cfbc7bfa0d (diff) | |
| download | dino-da7be50f059e5a1536b58087d5cdb305bf86ef63.tar.gz dino-da7be50f059e5a1536b58087d5cdb305bf86ef63.zip | |
Add a keyboard shortcut to show keyboard shortcuts (#1432)
Add a keyboard shortcut to show keyboard shortcuts
- It's Ctrl+?
Diffstat (limited to 'configure')
0 files changed, 0 insertions, 0 deletions