/py_ext/ default tip
drwxr-xr-x [up]
-rw-r--r-- 2024-10-16 12:18 +0200 3732 PythonEditor.py
-rw-r--r-- 2024-10-16 12:18 +0200 14494 PythonFileCTNMixin.py
-rw-r--r-- 2024-10-16 12:18 +0200 32 README
-rw-r--r-- 2024-10-16 12:18 +0200 1130 __init__.py
-rw-r--r-- 2024-10-16 12:18 +0200 7178 plc_python.c
-rw-r--r-- 2024-10-16 12:18 +0200 84945 pous.xml
-rw-r--r-- 2024-10-16 12:18 +0200 5065 py_ext.py
-rw-r--r-- 2024-10-16 12:18 +0200 530 py_ext_xsd.xsd