chiark / gitweb /
Add "uni2259" as an alias for "circleplus"
authorBen Harris <bjh21@bjh21.me.uk>
Fri, 19 Jun 2020 23:49:34 +0000 (00:49 +0100)
committerBen Harris <bjh21@bjh21.me.uk>
Fri, 19 Jun 2020 23:49:34 +0000 (00:49 +0100)
commitc12abd663b3b2de90053a4bd1cde3d083db18472
treef744a1ef6d2983a5ce884a1d8ff82b2282100810
parentfc02ca982fcf1db57836003ff834c4a61298a34d
Add "uni2259" as an alias for "circleplus"

"circleplus" is the AGLFN name, but it was called "uni2259" in
Bedstead 002.000 and 002.001, so the old name should stay for
compatibility, for instance with existing PostScript files.
bedstead.c