devtools/install.rdf
author Jonathan Kew <jkew@mozilla.com>
Mon, 26 Sep 2016 18:05:14 +0100
changeset 315304 30de72d3b0399315a841a960eeb761e1131da118
parent 278564 1850e2691a107ed4cd99cae0950fe8af0ce48433
child 357776 f42fac2bcca869760c75b6456d50a9bba7841131
permissions -rw-r--r--
Bug 757366 - Don't cast pointers to 'name'-table data to uint16_t*, as they may not be 16-bit-aligned. r=jrmuizel

<?xml version="1.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/.
-->

<RDF xmlns="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
     xmlns:em="http://www.mozilla.org/2004/em-rdf#">
  <Description about="urn:mozilla:install-manifest"
               em:id="devtools@mozilla.org"
               em:name="Developer Tools (local version)"
               em:description="Add-on to load DevTools from local sources and easily reload them with Ctrl+Alt+r shortcut"
               em:version="44.0a1"
               em:type="2"
               em:creator="Mozilla">

    <em:bootstrap>true</em:bootstrap>
    <em:targetApplication>
      <Description>
        <em:id>{ec8030f7-c20a-464f-9b0e-13a3a9e97384}</em:id>
        <em:minVersion>44.0a1</em:minVersion>
        <em:maxVersion>*</em:maxVersion>
      </Description>
    </em:targetApplication>
  </Description>
</RDF>