diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2020-07-01 15:46:34 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-07-01 15:46:34 +0200 |
| commit | 2abe858e1ccd202b7aee543f9846c1ccf7e51e2c (patch) | |
| tree | 70f21ad392cd7874d88b695adbdfbea364e4be89 /servers/navigation_server_2d.h | |
| parent | 9286772fafdfce0b301c8cb5fcc852dae7f170fa (diff) | |
| parent | d2a5b92e9be3e244ceb9a86b4ebf904e1db603fc (diff) | |
Merge pull request #40008 from DanielZTing/master
Make "Close and save changes?" actually save
Diffstat (limited to 'servers/navigation_server_2d.h')
0 files changed, 0 insertions, 0 deletions