diff options
author | Rémi Verschelde <remi@verschelde.fr> | 2016-05-23 17:08:06 +0200 |
---|---|---|
committer | Rémi Verschelde <remi@verschelde.fr> | 2016-05-23 17:08:06 +0200 |
commit | b777b32470fc7cba345f3ff2ee419074104f8f9b (patch) | |
tree | 45849a8443314cda146a472bbab9e04622efb7fe /platform/osx/export/export.h | |
parent | beeed210c904d4cb57df8b72417f004a37ce3b6b (diff) | |
parent | d7073a77e1dfcdb7259737adf40e522264b89d1a (diff) |
Merge pull request #4296 from Paulb23/code_editor_themes
Added color themes to the text editor
Diffstat (limited to 'platform/osx/export/export.h')
0 files changed, 0 insertions, 0 deletions