Completed
Pull Request — master (#1530)
by Abdeali
02:52 queued 51s
created

Changes

2 added classes/operations
Arrow A bears.latex.LatexLintBear.run() added
Arrow A bears.latex.LatexLintBear added
A B coalib.misc.decorator() got worse
8.81
▶   ± 0
Head
AbdealiJK  
Merge 3f446ae6fefc487c3702edab132431a097350d55 into 81e8feab60417af4256859dbd91660b3d914e8dd
5 more commits
Base
SambitAcharya  
.gitignore: Add .jar files