diff options
| author | Pierre-Marie Pédrot | 2019-08-04 12:22:27 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2019-08-04 12:22:27 +0200 |
| commit | 5f7c88d0835631ed4fdaf6dc056c958bf8865b56 (patch) | |
| tree | ae37c5b6b2edc6752fc4cd5110816a7d1836fb0b /plugins/syntax | |
| parent | e831ec5efd8b3b434eaf8b57b7150c3e8882e314 (diff) | |
| parent | 0d5b3272afefe1b417edbdf1258849b758648eb3 (diff) | |
Merge PR #10579: Remove underscores from inserted texts.
Reviewed-by: ppedrot
Diffstat (limited to 'plugins/syntax')
0 files changed, 0 insertions, 0 deletions