Skip to content

GRUB theme: replace desktop-color with desktop-image #150

GRUB theme: replace desktop-color with desktop-image

GRUB theme: replace desktop-color with desktop-image #150

Annotations

1 warning

shellcheck test scripts

succeeded Dec 18, 2024 in 6s