Inspections

Branch: update/latex-extract-janitorial
Merge remote-tracking branch 'origin/master' into update/latex-extract-janitoria...

update/latex-extract-janitorial . a26cca...412907 . push triggered

  Data is cleaned up.
01:13
created
Merge remote-tracking branch 'origin/master' into update/latex-extract-janitoria...

update/latex-extract-janitorial . e37807...a26cca . push triggered

  Data is cleaned up.
25s
created
Beautiful Math: move away from the use of extract()

update/latex-extract-janitorial . e37807 . push triggered

  Data is cleaned up.
26s
created