New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

fix analyzing of ultra shortand font notation #119

Merged

bartveneman merged 1 commit into master from fix-ultra-shorthand-font-notation

Mar 18, 2019

Member

bartveneman commented Mar 18, 2019

No description provided.


          fix analyzing of ultra shortand font notation

24dd9b7

coveralls commented Mar 18, 2019

Coverage remained the same at 100.0% when pulling 24dd9b7 on fix-ultra-shorthand-font-notation into e1d572d on master.

bartveneman merged commit 69062da into master

delete-merged-branch bot deleted the fix-ultra-shorthand-font-notation branch

March 18, 2019 22:12

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment