commit | 7ce813513818e58d3d35116c868bd6c8d866c997 | [log] [download] |
---|---|---|
author | nicm <nicm> | Thu Aug 29 07:13:48 2019 +0000 |
committer | nicm <nicm> | Thu Aug 29 07:13:48 2019 +0000 |
tree | f1f5b1a18969792c3ab4624c65cc40c91983f1c8 | |
parent | df0334d3b397de03a81411f1101a8e82a55b9be9 [diff] |
It is not longer necessary to double-escape ; in %%%, problem reported by Theo Buehler.