firebug/firebug — pull request #16 by l-hedgehog (2012-06-30 06:55:31+00:00)
Title: Remove some duplicated strings

Just some duplication I found in firebug.properties, One trailing whitespace also removed by my editor

FYI: In 72e5999e, "Refresh" is changed to "panel.Refresh" in js but not firebug.properties, not sure how you'd like to fix this.