Detexify port for linux
Stars
0
Forks
Watchers
Open Issues
Overall repository health assessment
No package.json found
This might not be a Node.js project
User
3
commits
Add script option for editor integration
676f54d
Add icon rendering, package for pip
d40a589
initial commit
9e02ab5