/svghmi/ svghmi
drwxr-xr-x [up]
-rw-r--r-- 2019-09-11 11:20 +0200 607 Makefile
-rw-r--r-- 2019-09-11 11:20 +0200 8 README
-rw-r--r-- 2019-09-11 11:20 +0200 231 __init__.py
-rw-r--r-- 2019-09-11 11:20 +0200 2616 default.svg
-rw-r--r-- 2019-09-11 11:20 +0200 2227 gen_index_xhtml.xslt
-rw-r--r-- 2019-09-11 11:20 +0200 1819 gen_index_xhtml.ysl2
-rw-r--r-- 2019-09-11 11:20 +0200 1477 pous.xml
-rw-r--r-- 2019-09-11 11:20 +0200 3980 svghmi.c
-rw-r--r-- 2019-09-11 11:20 +0200 12332 svghmi.py