diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2020-03-28 14:20:58 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-03-28 14:20:58 +0100 |
commit | d2d359d67c5c35351ed953448430536c57db1522 (patch) | |
tree | 95f1027d97b3e6fb9ceb21f7b768730d81f6beb1 /servers/navigation_server_3d.h | |
parent | bbbdabc771662d0effb739237967982cd201ea89 (diff) | |
parent | 60d486acc80de3ccf621df769fac27aa27ad4a10 (diff) |
Merge pull request #37379 from akien-mga/server-renames-followup
More server renames for consistency after #37361
Diffstat (limited to 'servers/navigation_server_3d.h')
-rw-r--r-- | servers/navigation_server_3d.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/servers/navigation_server_3d.h b/servers/navigation_server_3d.h index 2e9d078f73..c34bd2391b 100644 --- a/servers/navigation_server_3d.h +++ b/servers/navigation_server_3d.h @@ -1,5 +1,5 @@ /*************************************************************************/ -/* navigation_server.h */ +/* navigation_server_3d.h */ /*************************************************************************/ /* This file is part of: */ /* GODOT ENGINE */ |