Ricardo Pardini bba856bb57 partitioning: efi: introduce UEFI_MOUNT_POINT_SKIP_FSTAB, if set to yes, skips /etc/fstab entry for the ESP ... - sometimes we just don't want the ESP listed in the fstab, otherwise works the same		2023-10-14 00:03:12 +02:00
..
functions	partitioning: efi: introduce UEFI_MOUNT_POINT_SKIP_FSTAB, if set to yes, skips /etc/fstab entry for the ESP	2023-10-14 00:03:12 +02:00
tools	pipeline: don't bomb when logging int value's length (GHA outputs)	2023-10-13 21:05:33 +02:00
library-functions.sh	hashed-OCI-revisioned-debs: introduce "reversioning" of .deb packages	2023-08-12 09:58:32 +02:00
single.sh	Add / modify (c) in bash scripts (#4922)	2023-03-09 18:30:40 +01:00