diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2018-07-22 00:40:15 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-07-22 00:40:15 +0200 |
commit | 7478649b2ff4983da605594420561cd46f5d15b1 (patch) | |
tree | e1e864f3c243a3691630824564cf3d65388be9d2 /modules/gdscript/editor/gdscript_highlighter.cpp | |
parent | 92415365c8586dd0c91b0566d7c00753e0687273 (diff) | |
parent | 69530ef61464ad164e124003680b2039e841069f (diff) |
Merge pull request #20229 from aaronfranke/mono-warning-text
[Mono] Update about/warning text
Diffstat (limited to 'modules/gdscript/editor/gdscript_highlighter.cpp')
0 files changed, 0 insertions, 0 deletions