]> gitweb.fperrin.net Git - Dictionary.git/commitdiff
Merge pull request #61 from mueller-ma/patch-1
authorReimar Döffinger <rdoeffinger@users.noreply.github.com>
Thu, 5 Jan 2017 12:38:36 +0000 (13:38 +0100)
committerGitHub <noreply@github.com>
Thu, 5 Jan 2017 12:38:36 +0000 (13:38 +0100)
Removed dots and renamed "default" theme to "dark (default)"


Trivial merge