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