Completed
Pull Request — master (#1530)
by Abdeali
02:10
created

Changes

2 added classes/operations
Arrow A bears.latex.LatexLintBear.run() added
Arrow A bears.latex.LatexLintBear added
B A coalib.results.LineDiff.change() improved
8.81
▶   ± 0
Head
AbdealiJK  
Merge 0aaa591a78fdeae74b3a1b0d9568a593059a15f0 into 81e8feab60417af4256859dbd91660b3d914e8dd
5 more commits
Base
SambitAcharya  
.gitignore: Add .jar files