Dmitry Kalinkin e2f56c1333 doc: don't mention obsolete ssh-substituter-hosts ... #1840		2018-03-22 19:17:45 -04:00
..
manual	doc: don't mention obsolete ssh-substituter-hosts	2018-03-22 19:17:45 -04:00