Alternative shortcuts added to manual as documented/tested by Andrea and IgorB
authorGood Guy <[email protected]>
Sat, 7 Oct 2023 19:49:20 +0000 (13:49 -0600)
committerGood Guy <[email protected]>
Sat, 7 Oct 2023 19:49:20 +0000 (13:49 -0600)
commit1c494d38206ce3ba6fdcbbd002f45b90e4da08be
tree615e587b5873ae6b63f927221a6356a3677d9c27
parent2bce96cb756a19a1949cc84b4aca91db313efb1b
Alternative shortcuts added to manual as documented/tested by Andrea and IgorB
parts/Installation.tex
parts/Shortcuts.tex