drwxr-xr-x | [up] | |||
-rw-r--r-- | 2020-01-10 17:00 +0100 | 617 | Makefile | file | revisions | annotate |
-rw-r--r-- | 2020-01-10 17:00 +0100 | 8 | README | file | revisions | annotate |
-rw-r--r-- | 2020-01-10 17:00 +0100 | 231 | __init__.py | file | revisions | annotate |
-rw-r--r-- | 2020-01-10 17:00 +0100 | 2616 | default.svg | file | revisions | annotate |
-rw-r--r-- | 2020-01-10 17:00 +0100 | 32144 | gen_index_xhtml.xslt | file | revisions | annotate |
-rw-r--r-- | 2020-01-10 17:00 +0100 | 13742 | gen_index_xhtml.ysl2 | file | revisions | annotate |
-rw-r--r-- | 2020-01-10 17:00 +0100 | 1367 | pous.xml | file | revisions | annotate |
-rw-r--r-- | 2020-01-10 17:00 +0100 | 9658 | svghmi.c | file | revisions | annotate |
-rw-r--r-- | 2020-01-10 17:00 +0100 | 6945 | svghmi.js | file | revisions | annotate |
-rw-r--r-- | 2020-01-10 17:00 +0100 | 19715 | svghmi.py | file | revisions | annotate |
-rw-r--r-- | 2020-01-10 17:00 +0100 | 5796 | svghmi_server.py | file | revisions | annotate |