tree 1b3c24b3dde8db55607da2cefb2598f3be11cfd4
parent adedad8e32139f15a705ce67d96047db47f4ef39
author Brendan Jackman <brendan.jackman@arm.com> 1485545531 +0000
committer Brendan Jackman <brendan.jackman@arm.com> 1485887880 +0000

doc/connection: Document the fact that `pull` supports globs

This feature is supported implicitly by SshConnection and explicitly by
AdbConnection. A subsequent commit implements it for LocalConnection.