/svghmi/ svghmi
drwxr-xr-x [up]
-rw-r--r-- 2020-01-14 11:09 +0100 617 Makefile
-rw-r--r-- 2020-01-14 11:09 +0100 8 README
-rw-r--r-- 2020-01-14 11:09 +0100 231 __init__.py
-rw-r--r-- 2020-01-14 11:09 +0100 2616 default.svg
-rw-r--r-- 2020-01-14 11:09 +0100 32709 gen_index_xhtml.xslt
-rw-r--r-- 2020-01-14 11:09 +0100 13742 gen_index_xhtml.ysl2
-rw-r--r-- 2020-01-14 11:09 +0100 1367 pous.xml
-rw-r--r-- 2020-01-14 11:09 +0100 9852 svghmi.c
-rw-r--r-- 2020-01-14 11:09 +0100 7293 svghmi.js
-rw-r--r-- 2020-01-14 11:09 +0100 19649 svghmi.py
-rw-r--r-- 2020-01-14 11:09 +0100 5796 svghmi_server.py