toolkit/chrome/global/editMenuOverlay.dtd
author Francesco Lodolo (:flod) <flod@lodolo.net>
Tue, 17 May 2022 15:42:31 +0200
changeset 393 ff68f20c27100929214e3deac1ee331e005ba97b
parent 262 a68098f86d32ce72187d827fa3d0be1e752482f2
permissions -rw-r--r--
Remove obsolete files (region.properties, bookmarks.inc)

<!-- This Source Code Form is subject to the terms of the Mozilla Public
   - License, v. 2.0. If a copy of the MPL was not distributed with this
   - file, You can obtain one at http://mozilla.org/MPL/2.0/. -->

<!ENTITY findCmd.label             "دۆزینەوە">
<!ENTITY findCmd.key               "F">
<!ENTITY findCmd.accesskey         "F">
<!ENTITY findAgainCmd.label        "دووبارە بگەڕێ">
<!ENTITY findAgainCmd.key          "G">
<!ENTITY findAgainCmd.key2         "VK_F3">
<!ENTITY findAgainCmd.accesskey    "g">