devtools/chrome.manifest
author Jonathan Kew <jkew@mozilla.com>
Mon, 26 Sep 2016 18:05:14 +0100
changeset 315304 30de72d3b0399315a841a960eeb761e1131da118
parent 279210 dfcb840b5c4ba91c658dbcadc13bfabb866294c1
child 320802 fd1f1513e91e805ff87c266242a80c2962883e9b
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

content devtools client/
skin devtools classic/1.0 client/themes/
resource devtools .
locale devtools en-US client/locales/en-US/

content webide client/webide/content/
skin webide classic/1.0 client/webide/themes/