diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-09-24 11:53:43 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-09-24 11:53:43 +0200 |
| commit | 2f52d73c21fb9e532dd8b71e9b18f31cd7996277 (patch) | |
| tree | 8dd109f8a1fc371b92f90a3a011f898d19a34f93 /misc/scripts/fix_headers.py | |
| parent | 823c3def725bcb741dce004e2dca520558fdd092 (diff) | |
| parent | b397bcf4a1d8ef0f72cffd248309592d9c66b041 (diff) | |
Merge pull request #31925 from bojidar-bg/31855-overriden-properties-docs
Add overriden properties to the documentation
Diffstat (limited to 'misc/scripts/fix_headers.py')
0 files changed, 0 insertions, 0 deletions