futpib/policeman — pull request #77 by bastik-tor (2014-11-29 15:09:45+00:00)
Title: de-DE update for toolbar options

Just translated the new options.

If you can't merge it, please comment on this request. I had trouble merging your commits into my fork, because you fixed a syntax mistake I made and therefore Github was not able to merge your commits into my fork automatically. Unfortunately it did not tell me what the problem actually was. I resolved it by adding your fix to my fork and then Github could merge it.