mdwtab.dtx: Fix nested `*' column-type to work correctly.
authorMark Wooding <mdw@distorted.org.uk>
Thu, 3 Sep 2020 14:28:14 +0000 (15:28 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Mon, 7 Sep 2020 16:36:43 +0000 (17:36 +0100)
commitb1506c8083c5d55aa8dc1350a0ca1aea924be4b4
treeb2ba55cd3cee3d604952596986633ac7a674f8e2
parent55ed6c023fb385f6072b90c4219040ec0d4cd588
mdwtab.dtx: Fix nested `*' column-type to work correctly.

This is a little unpleasant.
mdwtab.dtx