/svgui/ svghmi
drwxr-xr-x [up]
drwxr-xr-x pyjs
-rw-r--r-- 2020-05-13 18:47 +0200 9 README
-rw-r--r-- 2020-05-13 18:47 +0200 1082 __init__.py
-rw-r--r-- 2020-05-13 18:47 +0200 1761 livesvg.js
-rw-r--r-- 2020-05-13 18:47 +0200 57103 pous.xml
-rw-r--r-- 2020-05-13 18:47 +0200 5922 svgui.py
-rw-r--r-- 2020-05-13 18:47 +0200 4985 svgui_server.py
-rw-r--r-- 2020-05-13 18:47 +0200 5048 svguilib.py