drwxr-xr-x | [up] | |||
-rw-r--r-- | 2019-10-15 17:14 +0200 | 617 | Makefile | file | revisions | annotate |
-rw-r--r-- | 2019-10-15 17:14 +0200 | 8 | README | file | revisions | annotate |
-rw-r--r-- | 2019-10-15 17:14 +0200 | 231 | __init__.py | file | revisions | annotate |
-rw-r--r-- | 2019-10-15 17:14 +0200 | 2616 | default.svg | file | revisions | annotate |
-rw-r--r-- | 2019-10-15 17:14 +0200 | 21666 | gen_index_xhtml.xslt | file | revisions | annotate |
-rw-r--r-- | 2019-10-15 17:14 +0200 | 9834 | gen_index_xhtml.ysl2 | file | revisions | annotate |
-rw-r--r-- | 2019-10-15 17:14 +0200 | 1477 | pous.xml | file | revisions | annotate |
-rw-r--r-- | 2019-10-15 17:14 +0200 | 8837 | svghmi.c | file | revisions | annotate |
-rw-r--r-- | 2019-10-15 17:14 +0200 | 3796 | svghmi.js | file | revisions | annotate |
-rw-r--r-- | 2019-10-15 17:14 +0200 | 14380 | svghmi.py | file | revisions | annotate |
-rw-r--r-- | 2019-10-15 17:14 +0200 | 3921 | svghmi_server.py | file | revisions | annotate |