diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2021-11-22 14:52:45 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-11-22 14:52:45 +0100 |
| commit | 29a2561f77c2004433955a8578301cf49401fdd5 (patch) | |
| tree | 4a9393a1bd4cd43ac72ba84f1434d1b651de85ed /core/config | |
| parent | 4e7964f0fdfbb6d1e9a8eeffd9afa1ebbc4695da (diff) | |
| parent | 4ea6709558ae715df45b4b5137f4ae554922cad4 (diff) | |
Merge pull request #55217 from KoBeWi/get_property_and_property
Diffstat (limited to 'core/config')
0 files changed, 0 insertions, 0 deletions