style fix: always use "${MNTPOINT}"/boot/efi
authorPatrick Schleizer <adrelanos@whonix.org>
Mon, 11 Dec 2023 16:23:12 +0000 (11:23 -0500)
committerPatrick Schleizer <adrelanos@whonix.org>
Mon, 11 Dec 2023 16:23:12 +0000 (11:23 -0500)
instead of sometimes mixed with "${MNTPOINT}/boot/efi"


No differences found