diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2016-09-12 16:33:28 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-09-12 16:33:28 +0200 |
| commit | dc6eefdbf2b3f9362dbb571e9fb2f3df60760c04 (patch) | |
| tree | be03d24167939a45624b1a10f5df9eb1a7312e21 /drivers/etc1 | |
| parent | 37f1e86108a84c9b371e37c3854d8a03c8aea743 (diff) | |
| parent | a0136838b36261f21e6bd692089f7904895e807d (diff) | |
Merge pull request #6465 from Paulb23/script_highlight_color_update
Update current script color on change
Diffstat (limited to 'drivers/etc1')
0 files changed, 0 insertions, 0 deletions