greasemonkey/greasemonkey — pull request #1686 by igorruckert (2013-01-07 02:43:58+00:00)
Title: Update locale/pt-BR/greasemonkey.dtd

Translated string "menu.options"