drwxr-xr-x |
|
|
[up] |
|
drwxr-xr-x |
|
|
programming
|
files
|
drwxr-xr-x |
|
|
svghmi
|
files
|
-rw-r--r-- |
2024-08-20 01:51 +0200 |
6430 |
Makefile
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-08-20 01:51 +0200 |
789 |
about.rst
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-08-20 01:51 +0200 |
8016 |
conf.py
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-08-20 01:51 +0200 |
211 |
index.rst
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-08-20 01:51 +0200 |
817 |
index_fr.po
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-08-20 01:51 +0200 |
153 |
install.rst
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-08-20 01:51 +0200 |
5098 |
make.bat
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-08-20 01:51 +0200 |
408 |
overview.rst
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-08-20 01:51 +0200 |
1038 |
standards.rst
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-08-20 01:51 +0200 |
2662 |
standards_fr.po
|
file |
revisions |
annotate
|