/svghmi/ svghmi
drwxr-xr-x [up]
-rw-r--r-- 2020-03-17 09:29 +0100 679 Makefile
-rw-r--r-- 2020-03-17 09:29 +0100 8 README
-rw-r--r-- 2020-03-17 09:29 +0100 231 __init__.py
-rw-r--r-- 2020-03-17 09:29 +0100 2616 default.svg
-rw-r--r-- 2020-03-17 09:29 +0100 2547 detachable_elements.ysl2
-rw-r--r-- 2020-03-17 09:29 +0100 57370 gen_index_xhtml.xslt
-rw-r--r-- 2020-03-17 09:29 +0100 20770 gen_index_xhtml.ysl2
-rw-r--r-- 2020-03-17 09:29 +0100 3670 geometry.ysl2
-rw-r--r-- 2020-03-17 09:29 +0100 1832 hmi_tree.ysl2
-rw-r--r-- 2020-03-17 09:29 +0100 1367 pous.xml
-rw-r--r-- 2020-03-17 09:29 +0100 10123 svghmi.c
-rw-r--r-- 2020-03-17 09:29 +0100 11516 svghmi.js
-rw-r--r-- 2020-03-17 09:29 +0100 20328 svghmi.py
-rw-r--r-- 2020-03-17 09:29 +0100 6074 svghmi_server.py