Brian Grinstead [:bgrins] Assignee
	Description • 9 years ago

Filing this as a first step in Bug 896733.  See https://bugzilla.mozilla.org/show_bug.cgi?id=896733#c10.  This is just for moving ones that don't have any differences across platforms.

	Brian Grinstead [:bgrins] Assignee
	Comment 1 • 9 years ago

Bug 1189128: Move duplicate CSS files from OS specific folder to shared/devtools;r=jryans

	Brian Grinstead [:bgrins] Assignee
	Comment 2 • 9 years ago

Bug 1189128 - Rename devtools .inc.css files that are no longer included to .css;r=jryans

	Brian Grinstead [:bgrins] Assignee
	Comment 3 • 9 years ago

Try push: https://treeherder.mozilla.org/#/jobs?repo=try&revision=37f5201199ae

	J. Ryan Stinnett [:jryans] (Use needinfo, replies may be slow)
	Comment 4 • 9 years ago

Comment on attachment 8640822 [details]
MozReview Request: Bug 1189128: Move duplicate CSS files from OS specific folder to shared/devtools;r=jryans

https://reviewboard.mozilla.org/r/14373/#review13215

::: browser/themes/osx/jar.mn:448
(Diff revision 1)
> -* skin/classic/browser/devtools/webaudioeditor.css          (devtools/webaudioeditor.css)
> +* skin/classic/browser/devtools/webaudioeditor.css          (../shared/devtools/webaudioeditor.inc.css)

It looks like you forgot to delete `browser/themes/osx/devtools/webaudioeditor.css`.

	J. Ryan Stinnett [:jryans] (Use needinfo, replies may be slow)
	Comment 5 • 9 years ago

Comment on attachment 8640823 [details]
MozReview Request: Bug 1189128 - Rename devtools .inc.css files that are no longer included to .css;r=jryans

https://reviewboard.mozilla.org/r/14375/#review13217

Ship It!

	Pulsebot
	Comment 6 • 9 years ago

https://hg.mozilla.org/integration/fx-team/rev/9dcb585f9c9d
https://hg.mozilla.org/integration/fx-team/rev/4b445033a7e6

	Carsten Book [:Tomcat]
	Comment 7 • 9 years ago

https://hg.mozilla.org/mozilla-central/rev/9dcb585f9c9d
https://hg.mozilla.org/mozilla-central/rev/4b445033a7e6