It seems we need an expl from 2012/07/02
authorJoachim Breitner <mail@joachim-breitner.de>
Sat, 25 May 2013 09:16:13 +0000 (11:16 +0200)
committerJoachim Breitner <mail@joachim-breitner.de>
Sat, 25 May 2013 09:16:13 +0000 (11:16 +0200)
commit7ef198938f5a10e01be44b2edb5ce65075d85ab2
tree28cae5c2483a65f7f977b034dfd23268e4a132ca
parent9c716475d9b9d48cf56b12b6d4817fb7aac855b9
It seems we need an expl from 2012/07/02
conteq.dtx