diff options
| author | George Marques <george@gmarqu.es> | 2018-01-14 14:44:57 -0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-01-14 14:44:57 -0200 |
| commit | 109242c011255757c981f634a33f59268a113f67 (patch) | |
| tree | 9bc9bdb32b72868fe97d4dd98397f48b7c48cd31 /core/pool_allocator.h | |
| parent | a1a67e6e84bf84a00f5b7a5941bd6e0be9bada83 (diff) | |
| parent | 896a0c5ef5185abad790459cfccde4a83f59d118 (diff) | |
Merge pull request #15709 from Paulb23/update_member_keyword_colour_on_change
Fixed member keywords colour not updating on settings change
Diffstat (limited to 'core/pool_allocator.h')
0 files changed, 0 insertions, 0 deletions