/svghmi/ svghmi
drwxr-xr-x [up]
-rw-r--r-- 2020-03-16 18:27 +0100 619 Makefile
-rw-r--r-- 2020-03-16 18:27 +0100 8 README
-rw-r--r-- 2020-03-16 18:27 +0100 231 __init__.py
-rw-r--r-- 2020-03-16 18:27 +0100 2746 bbox_intersect.ysl2
-rw-r--r-- 2020-03-16 18:27 +0100 2616 default.svg
-rw-r--r-- 2020-03-16 18:27 +0100 57006 gen_index_xhtml.xslt
-rw-r--r-- 2020-03-16 18:27 +0100 26049 gen_index_xhtml.ysl2
-rw-r--r-- 2020-03-16 18:27 +0100 1367 pous.xml
-rw-r--r-- 2020-03-16 18:27 +0100 10123 svghmi.c
-rw-r--r-- 2020-03-16 18:27 +0100 11516 svghmi.js
-rw-r--r-- 2020-03-16 18:27 +0100 20328 svghmi.py
-rw-r--r-- 2020-03-16 18:27 +0100 6074 svghmi_server.py