David Holland 21b4f61036 Change cache times for gpg		2020-02-05 23:27:55 +01:00
..
gpg-agent.conf	Change cache times for gpg	2020-02-05 23:27:55 +01:00
gpg.conf	Make some minor adjustments	2019-12-05 20:01:19 +01:00
sshcontrol	Make further adjustments	2019-10-20 18:43:10 +02:00