diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2022-11-24 13:24:31 +0100 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2022-11-24 13:24:31 +0100 |
| commit | eb8ce8d74e9483557ec67b5302b0a11e6c5957c1 (patch) | |
| tree | 686a83e3dc710c773cd0cedd83384c139e1a6b9e /doc/classes | |
| parent | 53a8903f793489fa0adf0b5e3976f79703407592 (diff) | |
| parent | a479f5af2208882767ae5d11dca35cc9bfecef31 (diff) | |
Merge pull request #68833 from BastiaanOlij/improve_extension_logic
Improve logic for detecting and tracking extensions
Diffstat (limited to 'doc/classes')
0 files changed, 0 insertions, 0 deletions