--- a/src/eric7/Documentation/Source/eric7.MicroPython.Devices.RP2040Devices.html Tue Mar 14 13:19:33 2023 +0100 +++ b/src/eric7/Documentation/Source/eric7.MicroPython.Devices.RP2040Devices.html Tue Mar 14 13:23:13 2023 +0100 @@ -976,7 +976,7 @@ </p> <a NAME="RP2040Device.setNetworkTime" ID="RP2040Device.setNetworkTime"></a> <h4>RP2040Device.setNetworkTime</h4> -<b>setNetworkTime</b>(<i>server="0.pool.ntp.org", tzOffset=0, timeout=10</i>) +<b>setNetworkTime</b>(<i>server="pool.ntp.org", tzOffset=0, timeout=10</i>) <p> Public method to set the time to the network time retrieved from an