diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2017-08-28 18:15:41 +0200 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2017-08-28 18:15:46 +0200 |
| commit | d664469ec72337c2ec31c2e0d5a3d82c30305b7c (patch) | |
| tree | bdfb639dc294453e3ff9b17e9901c64ce44d5648 /editor/doc_title_font.h | |
| parent | 8fce79aaeef3788bed170f07fc728e25f66e4a20 (diff) | |
Fix inability to change project settings
Regression from 565600e8445a3073e4188a1a2bde1f47dd299c5a, fixes #10712.
Diffstat (limited to 'editor/doc_title_font.h')
0 files changed, 0 insertions, 0 deletions