diff options
| author | Pierre-Marie Pédrot | 2016-06-28 01:02:33 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2016-06-28 01:19:46 +0200 |
| commit | 97e6e937433d52eba1ab01863d19db8bd85f2bc3 (patch) | |
| tree | c72696e2aa27d3500f9bb8f144a4dd2a8cd5b629 /plugins | |
| parent | 64e7be2e88f01ad65928e4b2b537e60c2c4e9260 (diff) | |
Properly handle the only printing flag in Reserved Notations.
Diffstat (limited to 'plugins')
0 files changed, 0 insertions, 0 deletions