diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-12-17 08:10:20 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-12-17 08:10:20 +0100 |
| commit | 38f8269e1bb64abf757f5a16723e67ffb3744905 (patch) | |
| tree | 3114bea377a413316d26d4342b27339db716d6c8 /thirdparty/pcre2/LICENCE | |
| parent | 7fdb324647dbd98cfd17998e4781175a33c398ea (diff) | |
| parent | 9d4a996a08e5bab69b7cb405cf7a8590e50b0fe5 (diff) | |
Merge pull request #24410 from YeldhamDev/graph_editors_title_fix
Fix titles in graph editors being invisible when headers are enabled
Diffstat (limited to 'thirdparty/pcre2/LICENCE')
0 files changed, 0 insertions, 0 deletions