Completed
Push — master ( 58e34b...3e447c )
by Christophe
01:07
created

No notable changes

There were no notable changes in the changeset which was inspected.

7.94
▶   ± 0
Head
Christophe Demko  
Using --no-highlight when converting to LaTeX for an entry in a table of contents
Base
Christophe Demko  
Reverting to master