commit | c45b255a885f36e033e1dfba1776fb5c04bfb6cf | [log] [download] |
---|---|---|
author | nicm <nicm> | Thu Aug 29 07:13:48 2019 +0000 |
committer | Nicholas Marriott <nicholas.marriott@gmail.com> | Mon Sep 16 08:59:49 2019 +0100 |
tree | 1e0d8d5da7405dd8e31d6bb2339feedd441d0e4c | |
parent | 5e4f3714084dc3edcc8f5e9bfcc86faeb92d900a [diff] |
It is not longer necessary to double-escape ; in %%%, problem reported by Theo Buehler.