Fix star.stroked

This commit is contained in:
Laurenz 2023-12-21 00:02:57 +01:00
parent ce0c38737b
commit 79c2ec8f6f

View File

@ -565,7 +565,7 @@ pub(crate) const SYM: &[(&str, Symbol)] = symbols! {
filled.small: '', filled.small: '',
filled.medium: '', filled.medium: '',
], ],
star: [op: '', stroked: '', filled: ''], star: [op: '', stroked: '', filled: ''],
// Arrows, harpoons, and tacks. // Arrows, harpoons, and tacks.
arrow: [ arrow: [