drwxr-xr-x | [up] | |||
drwxr-xr-x | programming | files | ||
drwxr-xr-x | svghmi | files | ||
-rw-r--r-- | 2024-04-04 17:31 +0200 | 6430 | Makefile | file | revisions | annotate |
-rw-r--r-- | 2024-04-04 17:31 +0200 | 8016 | conf.py | file | revisions | annotate |
-rw-r--r-- | 2024-04-04 17:31 +0200 | 202 | index.rst | file | revisions | annotate |
-rw-r--r-- | 2024-04-04 17:31 +0200 | 817 | index_fr.po | file | revisions | annotate |
-rw-r--r-- | 2024-04-04 17:31 +0200 | 153 | install.rst | file | revisions | annotate |
-rw-r--r-- | 2024-04-04 17:31 +0200 | 5098 | make.bat | file | revisions | annotate |
-rw-r--r-- | 2024-04-04 17:31 +0200 | 408 | overview.rst | file | revisions | annotate |
-rw-r--r-- | 2024-04-04 17:31 +0200 | 1038 | standards.rst | file | revisions | annotate |
-rw-r--r-- | 2024-04-04 17:31 +0200 | 2662 | standards_fr.po | file | revisions | annotate |