/src/eric7/APIs/Python3/
drwxr-xr-x | [up] | |||
-rw-r--r-- | 2023-05-27 18:30 +0200 | 1053823 | eric7.api | file | revisions | annotate |
-rw-r--r-- | 2023-05-27 18:30 +0200 | 46850 | eric7.bas | file | revisions | annotate |
-rw-r--r-- | 2023-05-27 18:30 +0200 | 25043 | micropython.api | file | revisions | annotate |