Fix bug #3389 ‘document 'F12' shortcut’
authorRicardo Mones <ricardo@mones.org>
Wed, 25 Feb 2015 12:49:00 +0000 (13:49 +0100)
committerRicardo Mones <ricardo@mones.org>
Wed, 25 Feb 2015 12:49:00 +0000 (13:49 +0100)
commit8cca354e303c3715fb725ddcc0331ede7a733479
tree3a6f2819b5fbf20aa0bb8f0cd2091a06452d9663
parent6f2e17c6d8db8942b7862efda8c0510e0f336b98
Fix bug #3389 ‘document 'F12' shortcut’
manual/keyboard.xml