diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-04-04 21:31:13 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-04-04 21:31:13 +0200 |
| commit | 90574a394a307eb61c0ca23d71a183d540031a4c (patch) | |
| tree | b9dfb45a2967d7d602c5251f4eba7d592e9e329e /servers | |
| parent | 7ca2e73dea59a2e0683253e73b9b549d749e12f9 (diff) | |
| parent | 63c8d0f455bab2bb5652ca6f8ffc1f1e2bbc9389 (diff) | |
Merge pull request #17978 from Paulb23/rename_gd_highlighter
Renamed GDSyntaxHighlighter to GDScriptSyntaxHighlighter
Diffstat (limited to 'servers')
0 files changed, 0 insertions, 0 deletions