summaryrefslogtreecommitdiff
path: root/misc/ci
diff options
context:
space:
mode:
authorRémi Verschelde <rverschelde@gmail.com>2022-12-05 11:32:43 +0100
committerRémi Verschelde <rverschelde@gmail.com>2022-12-05 11:32:43 +0100
commit1db23e472b49eb584d9ee3c59746cc8b59053814 (patch)
tree080dee6e9592f4fd370f7523459e334c9a4c7eba /misc/ci
parent4bca815d41ea3677afd52281d43702432c0ec05d (diff)
parenteacb29c0077fc279286221e753924e86ddb5b3cb (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 'misc/ci')
0 files changed, 0 insertions, 0 deletions