chiark / gitweb /
dictionary-manager approval minor fixes