Davide De Rosa 703d1416ad Deal with remote options properly (#297) ... Some take over, some are merged. Also: - Drop non-existing DOMAIN-SEARCH dhcp-option - Only first DNS domain was parsed		2022-10-29 11:00:39 +02:00
..
ConnectionStrategy.swift	Support --remote-random-hostname (#286)	2022-10-17 09:00:23 +02:00
NETCPLink.swift	Extend description of link remote with protocol	2022-10-14 08:23:23 +02:00
NEUDPLink.swift	Extend description of link remote with protocol	2022-10-14 08:23:23 +02:00
NetworkSettingsBuilder.swift	Deal with remote options properly (#297)	2022-10-29 11:00:39 +02:00
OpenVPNTunnelProvider.swift	Unify logging of local/remote options (#295)	2022-10-27 00:40:46 +02:00
ResolvedRemote.swift	Replace hostname/endpointProtocols with remotes	2022-03-05 14:20:29 +01:00