var group__tee__sockets_structTEE__udpSocket__Change__s =
[
    [ "server_addr", "group__tee__sockets.html#ab543762963dd910378a4b9e279acaf46", null ],
    [ "server_port", "group__tee__sockets.html#ae8813be0fcdc881d7ecae32fbfd3a979", null ]
];