Completed
Push — master ( f1c8e5...669df2 )
by Andrei
20s queued 10s
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.