mozilla/gecko-dev — pull request #17 by heiher (2014-03-14 13:19:05+00:00)
Title: Fix up branding files missing for gtk3 widget toolkit.

The branding files are missing when widget toolkit is gtk3.