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://www.chiark.greenend.org.uk/ucgi/~mdw/git/sod/commitdiff_plain/7b7947024fedb0bb7a0ea3ccb0029f6060de901b?hp=7b7947024fedb0bb7a0ea3ccb0029f6060de901b doc/syntax.tex: Delete (wrong) duplicate rule for . ---