diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2020-06-18 12:05:44 +0200 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2020-06-18 12:06:24 +0200 |
| commit | 2b6bbf8dceb7e31039d23aab05cde447225e1f7c (patch) | |
| tree | fa5c126467689e9c95f11698ac4dc0775c8bd9a6 /servers/navigation_server_3d.cpp | |
| parent | 4e0f31a67cb757f95a658a02ac28afcdda40b299 (diff) | |
Mono: Always define options in main.cpp to keep them in docs
Otherwise generating docs with non-Mono builds removes them,
which is not so convenient for the documentation work.
Diffstat (limited to 'servers/navigation_server_3d.cpp')
0 files changed, 0 insertions, 0 deletions