diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2022-05-06 08:28:59 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-05-06 08:28:59 +0200 |
| commit | f70085a9425e9f4ebfec389604cc8008b01316ab (patch) | |
| tree | 3fdde310219f699fa1d06dbb1593c3e4ae75a1de /doc/classes/ProjectSettings.xml | |
| parent | 89449bd0e30f036f0aa21b2cb11d302bad9052be (diff) | |
| parent | 79be2c7b75aed74541172187ce0d5249d129768d (diff) | |
Merge pull request #60802 from Calinou/profiler-idle-time-rename
Diffstat (limited to 'doc/classes/ProjectSettings.xml')
0 files changed, 0 insertions, 0 deletions