chiark / gitweb /
Corrected glyph name for U+22C5 DOT OPERATOR
authorBen Harris <bjh21@bjh21.me.uk>
Sat, 11 May 2024 18:45:49 +0000 (19:45 +0100)
committerBen Harris <bjh21@bjh21.me.uk>
Sat, 11 May 2024 18:45:49 +0000 (19:45 +0100)
commitd922a43261b27c0b8fb3b697f28a2c82e9d2dde8
tree2a584f3831525727f6ad458ddceccaf9688479c3
parentfb990fe7efa6670998cc3e02e27368765a719b38
Corrected glyph name for U+22C5 DOT OPERATOR

AGLFN says it should be "dotmath".  It wasn't in the last release, so
no backward-compatibility alias.
bedstead.c