DevToys
Use any font in DevToys editor
#37
Merged
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Overview
Commits
1
Changes
View On
GitHub
Use any font in DevToys editor
#37
veler
merged 1 commit into
main
from
use-any-fonts
Use any font in DevToys editor
e8d59576
veler
added
enhancement
veler
merged
021bbb7d
into main
3 years ago
veler
deleted the use-any-fonts branch
3 years ago
Login to write a write a comment.
Login via GitHub
Reviewers
No reviews
Assignees
No one assigned
Labels
enhancement
Milestone
No milestone
Login to write a write a comment.
Login via GitHub