/doc/
drwxr-xr-x [up]
drwxr-xr-x programming
drwxr-xr-x svghmi
-rw-r--r-- 2024-12-04 12:00 +0100 6430 Makefile
-rw-r--r-- 2024-12-04 12:00 +0100 789 about.rst
-rw-r--r-- 2024-12-04 12:00 +0100 8016 conf.py
-rw-r--r-- 2024-12-04 12:00 +0100 211 index.rst
-rw-r--r-- 2024-12-04 12:00 +0100 817 index_fr.po
-rw-r--r-- 2024-12-04 12:00 +0100 153 install.rst
-rw-r--r-- 2024-12-04 12:00 +0100 5098 make.bat
-rw-r--r-- 2024-12-04 12:00 +0100 408 overview.rst
-rw-r--r-- 2024-12-04 12:00 +0100 1038 standards.rst
-rw-r--r-- 2024-12-04 12:00 +0100 2662 standards_fr.po