diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2021-12-05 18:37:19 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-12-05 18:37:19 +0100 |
| commit | 49799ab454f1768485608011ea1db4fddfa0e787 (patch) | |
| tree | ae2c99dc4ca42b82e86e994d42b2e422609c8a45 /core | |
| parent | 8c5e58ed74b9570059d23868eea97f8d8fad1727 (diff) | |
| parent | b3992f7e6edb76a1d7e757efcab79a50425972f7 (diff) | |
Merge pull request #55559 from pycbouh/docs-overridden-cross-linked
Diffstat (limited to 'core')
| -rw-r--r-- | core/doc_data.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/core/doc_data.h b/core/doc_data.h index 27ea098513..db83dda8aa 100644 --- a/core/doc_data.h +++ b/core/doc_data.h @@ -123,6 +123,7 @@ public: String setter, getter; String default_value; bool overridden = false; + String overrides; bool operator<(const PropertyDoc &p_prop) const { return name < p_prop.name; } |