chiark / gitweb /
*: Eliminate the old CVS `$Id: ...' markers.
authorMark Wooding <mdw@distorted.org.uk>
Sun, 6 Sep 2020 12:18:54 +0000 (13:18 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Mon, 7 Sep 2020 16:36:44 +0000 (17:36 +0100)
commit0fb4766da19521ffc4b25ab564ce36e8c8df5f4b
tree88681ee3d1296c2f079f85a825ffe523aea820ec
parent639f32b1387c4837e468e4a804e640e8ebee8a0d
*: Eliminate the old CVS `$Id: ...' markers.
18 files changed:
at.dtx
centre.dtx
cmtt.dtx
colour.dtx
crypto.dtx
doafter.dtx
exercise.dtx
footnote.dtx
mdwkey.dtx
mdwlist.dtx
mdwmath.dtx
mdwref.dtx
mdwtab.dtx
mdwthm.dtx
mdwtools.ins
mdwtools.tex
slowbox.dtx
sverb.dtx