drwxr-xr-x |
|
|
[up] |
|
-rw-r--r-- |
2020-01-15 09:35 +0100 |
617 |
Makefile
|
file |
revisions |
annotate
|
-rw-r--r-- |
2020-01-15 09:35 +0100 |
8 |
README
|
file |
revisions |
annotate
|
-rw-r--r-- |
2020-01-15 09:35 +0100 |
231 |
__init__.py
|
file |
revisions |
annotate
|
-rw-r--r-- |
2020-01-15 09:35 +0100 |
2616 |
default.svg
|
file |
revisions |
annotate
|
-rw-r--r-- |
2020-01-15 09:35 +0100 |
32709 |
gen_index_xhtml.xslt
|
file |
revisions |
annotate
|
-rw-r--r-- |
2020-01-15 09:35 +0100 |
13742 |
gen_index_xhtml.ysl2
|
file |
revisions |
annotate
|
-rw-r--r-- |
2020-01-15 09:35 +0100 |
1367 |
pous.xml
|
file |
revisions |
annotate
|
-rw-r--r-- |
2020-01-15 09:35 +0100 |
9852 |
svghmi.c
|
file |
revisions |
annotate
|
-rw-r--r-- |
2020-01-15 09:35 +0100 |
7296 |
svghmi.js
|
file |
revisions |
annotate
|
-rw-r--r-- |
2020-01-15 09:35 +0100 |
19649 |
svghmi.py
|
file |
revisions |
annotate
|
-rw-r--r-- |
2020-01-15 09:35 +0100 |
5796 |
svghmi_server.py
|
file |
revisions |
annotate
|