Completed
Pull Request — master (#495)
by
unknown
34s
created

No notable changes

There were no notable changes in the changeset which was inspected.

???
Head
Andrei Novikov  
Merge pull request #495 from adavidzh/patch-3
1 more commit
Base
annoviko  
[.][no-build] Try to use latex checkmark in the paper.