Sunday, February 02, 2020

Re: New port: JetBrainsMono fonts

Thanks for the comments Stuart & George. I believe I addressed all
your comments.

I further stole from espie@'s port which simplified things a bit more.

No comments:

Post a Comment

Subscribe to: Post Comments (Atom)