add proxycommand --no-connect option to monkeysphere usage
[monkeysphere.git] / packaging / debian / compat
1 7