pages*: mark keys according to the guideline (#11907)

This commit is contained in:
Sebastiaan Speck
2023-12-29 17:02:08 +01:00
committed by GitHub
parent 7ec97b40d0
commit 618e227301
75 changed files with 153 additions and 153 deletions

View File

@@ -34,4 +34,4 @@
- Show all ORCA operators inside of ORCA:
`Ctrl + g`
`<Ctrl> + g`