New file: globalKeys.dtd
authorEduardo Trápani <eduardo@esperanto.org.uy>
Tue, 30 Dec 2008 19:59:51 -0200
changeset 30 30ee87b356e47eb5eef2ebcfa612b24877d69609
parent 29 a61c518415cbbdef8decd0ef81284a72dbc9482d
child 31 76c46eae810590592533b4d1677e580e70eb0c00
push id1
push usersledru@mozilla.com
push dateThu, 04 Dec 2014 21:46:40 +0000
New file: globalKeys.dtd
toolkit/chrome/global/globalKeys.dtd
new file mode 100644
--- /dev/null
+++ b/toolkit/chrome/global/globalKeys.dtd
@@ -0,0 +1,2 @@
+<!ENTITY openHelp.commandkey     "VK_F1">
+<!ENTITY openHelpMac.commandkey  "?">