diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2017-11-23 21:51:37 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-11-23 21:51:37 +0100 |
| commit | 4feeca0021b8ef6078e91fa36f9b91365cd6e01f (patch) | |
| tree | c68f18f5f04d337ca05f191c5b2cfc04dc00bbce /editor/doc_code_font.h | |
| parent | 3a33725014169ce51d6ac581a4dce3b97a60da00 (diff) | |
| parent | b20bb8615fe2e99485bfb8e8f422ef23e5f38028 (diff) | |
Merge pull request #13220 from dragmz/patch-1
reduce static memory usage
Diffstat (limited to 'editor/doc_code_font.h')
0 files changed, 0 insertions, 0 deletions