mozilla-b2g/gaia — pull request #2237 by vingtetun (2012-07-06 18:39:18+00:00)
Title: Remove duplicate settings in build/settings.js and throw when there is one

@gregorwagner What do you think of that?