diff options
| author | Adolfo Ochagavía <[email protected]> | 2018-10-06 21:53:12 +0100 |
|---|---|---|
| committer | Adolfo Ochagavía <[email protected]> | 2018-10-06 21:53:12 +0100 |
| commit | 9ccc56860107ed46f3abdc0f7c0d53766a3eded2 (patch) | |
| tree | 2c3b2df2c21395b9c8afba134f9917a885c57fd2 /editors/code/.gitignore | |
| parent | 81bf190f7aca4cadec5394c397bd7c084b53b9f5 (diff) | |
Dynamically apply highlightingOn config
Fixes #84
Diffstat (limited to 'editors/code/.gitignore')
0 files changed, 0 insertions, 0 deletions