From: Mark Wooding Date: Wed, 16 May 2018 09:08:16 +0000 (+0100) Subject: doc/syntax.tex: Delete (wrong) duplicate rule for . X-Git-Url: https://git.distorted.org.uk/~mdw/sod/commitdiff_plain/7b7947024fedb0bb7a0ea3ccb0029f6060de901b?ds=sidebyside;hp=7b7947024fedb0bb7a0ea3ccb0029f6060de901b doc/syntax.tex: Delete (wrong) duplicate rule for . ---