comparison: eric6/MicroPython/MicroPythonFileSystemUtilities.py
eric6/MicroPython/MicroPythonFileSystemUtilities.py
- changeset 7780
- 41420f82c0ac
- parent 7360
- 9190402e4505
- child 7923
- 91e843545d9a
equal
deleted
inserted
replaced
4 # |
4 # |
5 |
5 |
6 """ |
6 """ |
7 Module implementing some file system utility functions. |
7 Module implementing some file system utility functions. |
8 """ |
8 """ |
9 |
|
10 |
9 |
11 import time |
10 import time |
12 import stat |
11 import stat |
13 import os |
12 import os |
14 |
13 |