slowbox.dtx: Delete spurious `{'.
authorMark Wooding <mdw@distorted.org.uk>
Mon, 7 Sep 2020 15:36:35 +0000 (16:36 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Mon, 7 Sep 2020 16:36:44 +0000 (17:36 +0100)
commitf3d67f57f2a7beb2a7d28de91a89adbadda78436
treef1cd052a81ae339b334c81a7018c6b5817b5de8f
parent456186fc35e79d0fffb05bb7165ccc7c08dc0d35
slowbox.dtx: Delete spurious `{'.

No idea.
slowbox.dtx