merge conflicts (my bad)
Signed-off-by: Dario Mapelli <mapelli.dario@gmail.com>
mapellidario | Mar 1 2017, 5:43 PM |
Commit | Author | Details | Committed | |||
---|---|---|---|---|---|---|
a9a2ffb5910a | davidev | Implemented central configuration of plugins | Mar 1 2017 | |||
18467d1b2737 | davidev | Added parsing of empheq block. | Mar 1 2017 | |||
a14fca1c73b9 | davidev | Exporting the texla_report with details | Feb 22 2017 |