![[ICO]](/icons/blank.svg){kind=icon}
![[PARENTDIR]](/icons/back.svg){kind=icon}
![[DIR]](/icons/folder.svg){kind=icon}
![[ ]](/icons/unknown.svg){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| static/ | 2023-12-30 17:49 | - | |
| export/ | 2023-12-07 13:55 | - | |
| jenkins/ | 2023-11-17 09:27 | - | |
| setup/ | 2023-11-11 15:35 | - | |
| patches/ | 2023-10-02 18:31 | - | |
| Dockerfile | 2024-01-24 06:27 | 338 | |
| Makefile | 2023-09-27 08:52 | 836 | |