diff options
Diffstat (limited to 'docs/library')
| -rw-r--r-- | docs/library/machine.rst | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/docs/library/machine.rst b/docs/library/machine.rst index 1007f142fa..dbf8b8b4ce 100644 --- a/docs/library/machine.rst +++ b/docs/library/machine.rst @@ -85,13 +85,6 @@ Miscellaneous functions .. only:: port_wipy - .. function:: main(filename) - - Set the filename of the main script to run after boot.py is finished. If - this function is not called then the default file main.py will be executed. - - It only makes sense to call this function from within boot.py. - .. function:: rng() Return a 24-bit software generated random number. |