Completed
Push — master ( 80f0b4...730e62 )
by Grega
10s
created

Changes

2 issues (2 informational) were introduced.
2 issues were fixed.
8.19
▶   ± 0
Head
Grega Vrbančič  
Merge pull request #90 from lucijabrezocnik/latex
4 more commits
Base
Grega Vrbančič  
Merge pull request #89 from GregaVrbancic/gen-docs