/svgui/ nevow_service_rework
drwxr-xr-x [up]
drwxr-xr-x pyjs
-rw-r--r-- 2018-07-05 13:44 +0200 9 README
-rw-r--r-- 2018-07-05 13:44 +0200 1082 __init__.py
-rw-r--r-- 2018-07-05 13:44 +0200 1761 livesvg.js
-rw-r--r-- 2018-07-05 13:44 +0200 57103 pous.xml
-rw-r--r-- 2018-07-05 13:44 +0200 5989 svgui.py
-rw-r--r-- 2018-07-05 13:44 +0200 4961 svgui_server.py
-rwxr-xr-x 2018-07-05 13:44 +0200 5048 svguilib.py