root 43e85ec8e7 use more convenient ssh options on the server		2018-10-30 17:52:47 +00:00
..
etc_rc.local	use more convenient ssh options on the server	2018-10-30 17:52:47 +00:00