diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2020-04-20 17:57:38 +0200 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2020-04-20 17:59:07 +0200 |
| commit | b30014f93f85303e01e32f7c2b87b1bd4c909bdc (patch) | |
| tree | 4b20fb05b26f8facf4406a8d28e30a5957d4f352 /scene/gui | |
| parent | 9cf48b3e995b40bba174f062d0d3f4249e8cdbf0 (diff) | |
DocData: Keep Mono properties on non-Mono builds
This doesn't make much sense API-wise, but it's important for the documentation
workflow that the Mono and non-Mono builds produce the same output, otherwise
we keep having non-Mono builds removing Mono properties and losing their
descriptions.
This is a terrible hack but it's ad hoc, and should be OK for the time being.
Diffstat (limited to 'scene/gui')
0 files changed, 0 insertions, 0 deletions