SemanticDiff DevToys
Use any font in DevToys editor
#37
Merged

Overview Commits 1 Changes View On GitHub

Use any font in DevToys editor #37

veler merged 1 commit into main from use-any-fonts
veler
veler Use any font in DevToys editor
e8d59576
veler veler added enhancement
veler veler merged 021bbb7d into main 2 years ago
veler veler deleted the use-any-fonts branch 2 years ago

Login to write a write a comment.

Login via GitHub

Reviewers
No reviews
Assignees
No one assigned
Labels
enhancement
Milestone
No milestone
Terms Of Use Privacy Policy Refund Policy Impressum