summaryrefslogtreecommitdiff
path: root/editor/project_manager.h
diff options
context:
space:
mode:
authorRĂ©mi Verschelde <rverschelde@gmail.com>2018-07-21 23:13:51 +0200
committerGitHub <noreply@github.com>2018-07-21 23:13:51 +0200
commit92415365c8586dd0c91b0566d7c00753e0687273 (patch)
tree6738691794c9dfb3d8a3794b81501c1576356cb1 /editor/project_manager.h
parent2b9902db06d922fc98ae49c0d1e31123feed469a (diff)
parent3e87ad518742d93aaaddbfb9cdabe59aceabb159 (diff)
Merge pull request #19264 from vnen/typed-gdscript-final
Typed GDScript
Diffstat (limited to 'editor/project_manager.h')
0 files changed, 0 insertions, 0 deletions