Commit Graph

2 Commits

Author SHA1 Message Date
Mosè Giordano 83b998c39d Restore purity 2019-09-08 16:15:35 +01:00
Mike J Innes aa82679bef ignore latex 2018-02-21 22:17:15 +00:00