toph/src/infrastructure/keys/known_hosts.txt, branch main Unnamed repository; edit this file 'description' to name the repository. http://euandre.org/git/toph/atom?h=main 2023-03-20T13:03:17Z Manage public SSH files as "extra-etc-file" instead of like a secret 2023-03-20T13:03:17Z EuAndreh eu@euandre.org 2023-03-20T12:46:20Z urn:sha1:7ffcd694068d484842be0b87a9aeeda0a7720568 Makefile: Also upload managed SSH known_hosts file 2023-03-20T12:37:34Z EuAndreh eu@euandre.org 2023-03-20T12:37:34Z urn:sha1:a3410fbc485e09fd11247f0309c32b0e3026f8bd