![[ICO]](/apache_icons/blank.gif){kind=icon}
![[PARENTDIR]](/apache_icons/back.gif){kind=icon}
![[DIR]](/apache_icons/folder.gif){kind=icon}
![[ ]](/apache_icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| tools/ | 2026-04-24 20:57 | - | |
| pub/ | 2025-04-01 13:56 | - | |
| man/ | 2025-05-16 08:14 | - | |
| ling/ | 2026-03-12 14:51 | - | |
| include.php | 2025-12-12 21:24 | 816 | |
| geo/ | 2025-04-01 13:56 | - | |
| doc/ | 2025-12-12 20:44 | - | |
| dev/ | 2025-04-01 13:56 | - | |
| DaF/ | 2026-04-21 10:58 | - | |