diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2022-12-05 11:32:43 +0100 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2022-12-05 11:32:43 +0100 |
| commit | 1db23e472b49eb584d9ee3c59746cc8b59053814 (patch) | |
| tree | 080dee6e9592f4fd370f7523459e334c9a4c7eba /doc/tools | |
| parent | 4bca815d41ea3677afd52281d43702432c0ec05d (diff) | |
| parent | eacb29c0077fc279286221e753924e86ddb5b3cb (diff) | |
Merge pull request #69525 from m4gr3d/polish_navigation_controls_opacity_main
Minor tweaks/polish to the navigation controls to prevent interference
Diffstat (limited to 'doc/tools')
0 files changed, 0 insertions, 0 deletions