# HG changeset patch
# User Henry S. Thompson <ht@inf.ed.ac.uk>
# Date 1787063923 -3600
# Node ID d0fb285fd823d993d07ab8ae1dd58c4b799d771b
# Parent  f9d4af74e3d054cf3cc541260506f6d59a0c52e2
stale? distribute new ssh key around my hosts

diff -r f9d4af74e3d0 -r d0fb285fd823 bin/newkey.py
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/bin/newkey.py	Tue Aug 18 15:38:43 2026 +0100
@@ -0,0 +1,1 @@
+../lib/python/newkey.py
\ No newline at end of file