/py_ext/ svghmi
drwxr-xr-x [up]
-rw-r--r-- 2021-03-10 19:29 +0100 3770 PythonEditor.py
-rw-r--r-- 2021-03-10 19:29 +0100 14596 PythonFileCTNMixin.py
-rw-r--r-- 2021-03-10 19:29 +0100 32 README
-rw-r--r-- 2021-03-10 19:29 +0100 1168 __init__.py
-rw-r--r-- 2021-03-10 19:29 +0100 7178 plc_python.c
-rw-r--r-- 2021-03-10 19:29 +0100 16137 pous.xml
-rw-r--r-- 2021-03-10 19:29 +0100 2423 py_ext.py
-rw-r--r-- 2021-03-10 19:29 +0100 530 py_ext_xsd.xsd