add donarmstrong hosts to ssh config; kill off urmc known host
[home-base.git] / .ssh /
drwxr-xr-x   ..
-rw-r--r-- 888 config
-rw-r--r-- 444 identity_debian.pub
-rw-r--r-- 444 identity_propel.pub
-rw-r--r-- 33484 known_hosts