diff options
| author | Hugo Herbelin | 2016-04-13 16:28:43 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2016-04-27 21:55:47 +0200 |
| commit | e9abd74adc486c1c1793754fdf83a33fe7b1b34c (patch) | |
| tree | 98b8a9a6b131d3727f763b1441d73b2f98be4d3e /plugins | |
| parent | e01dabf9f7aa530c4c70aadf464097cd102b1df6 (diff) | |
Protect printing of intro-patterns from collision when "[|" or "|]"
exist as a keyword by inserting a space inbetween.
Diffstat (limited to 'plugins')
0 files changed, 0 insertions, 0 deletions