diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2020-07-28 10:02:59 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-07-28 10:02:59 +0200 |
| commit | 2efba270899b2852fa67cad05a55fc81decb24cd (patch) | |
| tree | a3fc81d88798dda19472aa1d577f910a31ae1c89 /servers/navigation_server_2d.cpp | |
| parent | a5f6c2473429f0a5e93b0d6a7eafa98b85da0fb1 (diff) | |
| parent | 05a418f9e648191e45fbc8e4cd43cd0c1c56b56f (diff) | |
Merge pull request #40783 from aaronfranke/bom
Fix incorrect comments in file formatting script
Diffstat (limited to 'servers/navigation_server_2d.cpp')
0 files changed, 0 insertions, 0 deletions