diff options
| author | robert-hh <robert@hammelrath.com> | 2022-08-20 11:25:34 +0200 |
|---|---|---|
| committer | Damien George <damien@micropython.org> | 2022-08-23 15:00:00 +1000 |
| commit | 8308f9c977adf322b264e5fbec6dd84315231eb4 (patch) | |
| tree | bc1ea5d8e1e9f94200f9fb0b48484bb055ac9988 /docs/esp32/tutorial/intro.rst | |
| parent | 71dcb21e24064d1150094e66a904877402cdd157 (diff) | |
extmod/network_wiznet5k: Use the configured DNS address if available.
Instead of the default 8.8.8.8. The change was suggested by @omogenot.
Diffstat (limited to 'docs/esp32/tutorial/intro.rst')
0 files changed, 0 insertions, 0 deletions