/svghmi/ svghmi
drwxr-xr-x [up]
-rw-r--r-- 2020-03-19 09:31 +0100 698 Makefile
-rw-r--r-- 2020-03-19 09:31 +0100 8 README
-rw-r--r-- 2020-03-19 09:31 +0100 231 __init__.py
-rw-r--r-- 2020-03-19 09:31 +0100 2616 default.svg
-rw-r--r-- 2020-03-19 09:31 +0100 5060 detachable_pages.ysl2
-rw-r--r-- 2020-03-19 09:31 +0100 57466 gen_index_xhtml.xslt
-rw-r--r-- 2020-03-19 09:31 +0100 3621 gen_index_xhtml.ysl2
-rw-r--r-- 2020-03-19 09:31 +0100 3645 geometry.ysl2
-rw-r--r-- 2020-03-19 09:31 +0100 3631 hmi_tree.ysl2
-rw-r--r-- 2020-03-19 09:31 +0100 3804 inline_svg.ysl2
-rw-r--r-- 2020-03-19 09:31 +0100 1367 pous.xml
-rw-r--r-- 2020-03-19 09:31 +0100 10123 svghmi.c
-rw-r--r-- 2020-03-19 09:31 +0100 11516 svghmi.js
-rw-r--r-- 2020-03-19 09:31 +0100 20328 svghmi.py
-rw-r--r-- 2020-03-19 09:31 +0100 6074 svghmi_server.py
-rw-r--r-- 2020-03-19 09:31 +0100 1470 widget_custom.ysl2
-rw-r--r-- 2020-03-19 09:31 +0100 446 widget_display.ysl2
-rw-r--r-- 2020-03-19 09:31 +0100 1186 widget_input.ysl2
-rw-r--r-- 2020-03-19 09:31 +0100 657 widget_jump.ysl2
-rw-r--r-- 2020-03-19 09:31 +0100 1247 widget_meter.ysl2
-rw-r--r-- 2020-03-19 09:31 +0100 956 widget_switch.ysl2
-rw-r--r-- 2020-03-19 09:31 +0100 2328 widgets_common.ysl2