chiark / gitweb /
10x20: Fix vertical metric (must have slipped in fontforge)