maride 5841c57d71 Make GPG key fetching a bit faster		2017-10-01 17:36:43 +02:00
..
internet.check	Move to 'source' and own return value variable	2017-08-31 16:27:55 +02:00
packeys.check	Make GPG key fetching a bit faster	2017-10-01 17:36:43 +02:00
uefi.check	Fixing UEFI check if-loop	2017-10-01 17:35:35 +02:00