Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

\/ should not be ligature #83

Closed
bluelovers opened this issue Jan 22, 2020 · 1 comment
Closed

\/ should not be ligature #83

bluelovers opened this issue Jan 22, 2020 · 1 comment
Labels
duplicate This issue or pull request already exists

Comments

@bluelovers
Copy link
Contributor

\/ should not be ligature

it will make read code not easy

image

@philippnurullin
Copy link
Member

#78

@philippnurullin philippnurullin added the duplicate This issue or pull request already exists label Jan 23, 2020
philippnurullin added a commit that referenced this issue Feb 7, 2020
— Added support of Box Drawings 159 symbols #84 #55
— Added ligature `<--` #95
— Removed the `\/` & `/\` ligatures #65 #76 #78 #83
— Corrected behaviour of ligatures in a glob pattern #88
— Changed the `$` & dependent glyphs #110
— Added no-break space #94
— Corrected unexpected `>=` ligature usage in `>=<` sequence 
— Refactored `w`, `W`, `m`, `M`
— Slightly tuned ascenders & descenders
— Added support of Mongolian language #81
— Better placement of the dot in 0 #104
— Reorganised family names #122
philippnurullin added a commit that referenced this issue Feb 7, 2020
— Added support of Box Drawings 159 symbols #84 #55
— Added ligature `<--` #95
— Removed the `\/` & `/\` ligatures #65 #76 #78 #83
— Corrected behaviour of ligatures in a glob pattern #88
— Changed the `$` & dependent glyphs #110
— Added no-break space #94
— Corrected unexpected `>=` ligature usage in `>=<` sequence 
— Refactored `w`, `W`, `m`, `M`
— Slightly tuned ascenders & descenders
— Added support of Mongolian language #81
— Better placement of the dot in 0 #104
— Reorganised family names #122
— Updated download link in README.md
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
duplicate This issue or pull request already exists
Projects
None yet
Development

No branches or pull requests

2 participants