Roberto Cirillo 795ca7b7c1 fix script		2023-01-16 17:35:30 +01:00
..
grepOldkeys.sh	add script for retrieving old keys	2023-01-16 16:48:08 +01:00
grepkeys.sh	Update '16-01-2023-grepkeys/grepkeys.sh'	2023-01-16 11:37:46 +01:00
greptoken.sh	fix script	2023-01-16 17:35:30 +01:00
repo_list.txt	add gcubekey search script and repo list for testing it	2023-01-16 11:07:52 +01:00