"ssh1"->"ssh" due to OpenSSH on paulina.vellum.cz
[nethome.git] / .gdbinit
2001-07-21 shortSome useful general functions