help wanted
Repository metrics
- Stars
- (7,781 stars)
- PR merge metrics
- (No merged PRs in 30d)
Description
Like e.g. https://github.com/tonsky/FiraCode
I'm still trying to figure out how best to solve it technically though
Like e.g. https://github.com/tonsky/FiraCode
I'm still trying to figure out how best to solve it technically though