dom/chrome/global.dtd
author Francesco Lodolo (:flod) <flod@lodolo.net>
Tue, 17 May 2022 15:40:02 +0200
changeset 1137 67077e72adbb0f032c27841262df1f0d43a5fb54
parent 14 9d29647ecfcc543cf39228c83a8adf98f6a18841
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 locale.dir "ltr">