diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-02-22 08:44:21 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-02-22 08:44:21 +0100 |
| commit | 49cf747faf627d6ae0cd253d52fa5e5364838c62 (patch) | |
| tree | ea7127d983b4e7091b90f0e7899c80c966ad59ba /.editorconfig | |
| parent | e349cedb6e59e15b613e75662045a78b5ac0c6c0 (diff) | |
| parent | cecf2743648c0d48e20b243cb0353c6a0d660c0a (diff) | |
Merge pull request #16909 from djrm/pr_visual_improvements
Icons update
Diffstat (limited to '.editorconfig')
0 files changed, 0 insertions, 0 deletions