From: Reimar Döffinger Date: Sun, 1 Jan 2017 15:36:58 +0000 (+0100) Subject: Merge pull request #60 from mueller-ma/remove-dots-menu X-Git-Url: http://gitweb.fperrin.net/?p=Dictionary.git;a=commitdiff_plain;h=efead471577e24c72c7d02fafb4bdd6c1490b5c6 Merge pull request #60 from mueller-ma/remove-dots-menu Removed dots in menu --- efead471577e24c72c7d02fafb4bdd6c1490b5c6