Roberto Cirillo e6f1f0a22d fix again the script		2023-01-18 10:07:40 +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 again the script	2023-01-18 10:07:40 +01:00
repo_list.txt	add gcubekey search script and repo list for testing it	2023-01-16 11:07:52 +01:00