commit | 34c0807be6add421bc4624d498adf9f55d00a120 | [log] [download] |
---|---|---|
author | nicm <nicm> | Tue Jan 15 09:56:31 2019 +0000 |
committer | nicm <nicm> | Tue Jan 15 09:56:31 2019 +0000 |
tree | 48abc96ca95e088eb6a7ba2c65c9d95596d8e19c | |
parent | bde0224deb0d0ba87929d2abfb262f3bd187b889 [diff] |
Do not highlight characters which will not be copied, reported by Jaroslaw Rzeszotko.