diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2017-09-17 17:57:00 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-09-17 17:57:00 +0200 |
| commit | 4208518c4de88186a8baac5d87e4c20c218fccc8 (patch) | |
| tree | 3a1ddfad8ff6c84200a3fec0f36c006771b88795 /LICENSE.txt | |
| parent | 3531251902595f4d2d17cab7100b4ff7a1eee2c7 (diff) | |
| parent | a48dc9aa17308beb7395372751500925837841a5 (diff) | |
Merge pull request #11356 from Paulb23/text_editor_theme_crash
Fixed segfault on loading text editor theme
[ci skip]
Diffstat (limited to 'LICENSE.txt')
0 files changed, 0 insertions, 0 deletions