Bug 1443175 - Remove obsolete and empty files
authorFrancesco Lodolo (:flod) <flod@lodolo.net>
Wed, 20 May 2020 08:57:00 +0200
changeset 970 1e52129be58dfe4ecf60cc0dd71c8a6ba14a3dfe
parent 969 3891a504bebbcb8812f53ec6bc0c44a3d25b5eb2
child 971 0481f48919aa3de7a15deedb8ea1879278d490b4
push id349
push userflodolo@mozilla.com
push dateWed, 20 May 2020 06:57:20 +0000
bugs1443175
Bug 1443175 - Remove obsolete and empty files
toolkit/chrome/global/mozilla.dtd
deleted file mode 100644
--- a/toolkit/chrome/global/mozilla.dtd
+++ /dev/null
@@ -1,4 +0,0 @@
-<!-- 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/. -->
-