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/android | |
| 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/android')
0 files changed, 0 insertions, 0 deletions