From e92755182745b39438f0d0c2e38f5480d23f8c3d Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Robert=20J=C3=B6rdens?= Date: Fri, 9 Nov 2018 19:39:11 +0100 Subject: [PATCH] manual: add highfinesse-net port --- doc/manual/default_network_ports.rst | 2 ++ 1 file changed, 2 insertions(+) diff --git a/doc/manual/default_network_ports.rst b/doc/manual/default_network_ports.rst index 6bb699ab9..33fa74a05 100644 --- a/doc/manual/default_network_ports.rst +++ b/doc/manual/default_network_ports.rst @@ -46,4 +46,6 @@ Default network ports +---------------------------------+--------------+ | TOPTICA Laser SDK (out-of-tree) | 3272 | +---------------------------------+--------------+ +| HighFinesse (out-of-tree) | 3273 | ++---------------------------------+--------------+