Skip to content
This repository has been archived by the owner on Jun 11, 2024. It is now read-only.

find a nicer font for editor #10

Open
crazylafo opened this issue Jan 22, 2020 · 0 comments
Open

find a nicer font for editor #10

crazylafo opened this issue Jan 22, 2020 · 0 comments
Projects
1.15 TO DO LIST

Comments

@crazylafo
Copy link
Owner

No description provided.

@crazylafo crazylafo added this to To do in 1.15 TO DO LIST Jun 16, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
None yet
Projects
1.15 TO DO LIST
  
To do
Milestone
No milestone
Development

No branches or pull requests
1 participant
@crazylafo