diff options
author | Rémi Verschelde <rverschelde@gmail.com> | 2022-11-30 19:08:44 +0100 |
---|---|---|
committer | Rémi Verschelde <rverschelde@gmail.com> | 2022-11-30 19:08:44 +0100 |
commit | b355e29b97fb43ebde7eb3a122cda720aef9779c (patch) | |
tree | aabdc95c5e61af53bba1ed6d5d06197ea990c4b3 /doc/translations | |
parent | 4ff610dfaaba985a1364b497f8d81910ca24c55f (diff) | |
parent | 5d2a9a3570e044d8ada9da35bf49ca0e5aafdc52 (diff) |
Merge pull request #69397 from KoBeWi/eradicate_folding
Make remote inspector groups not foldable
Diffstat (limited to 'doc/translations')
0 files changed, 0 insertions, 0 deletions