]> gitweb.fperrin.net Git - DictionaryPC.git/commitdiff
Merge pull request #5 from christophlingg/patch-1
authorReimar Döffinger <rdoeffinger@users.noreply.github.com>
Sun, 20 Dec 2020 09:57:56 +0000 (10:57 +0100)
committerGitHub <noreply@github.com>
Sun, 20 Dec 2020 09:57:56 +0000 (10:57 +0100)
include dict.cc entries with subject labels


Trivial merge