![[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 | - | ||
| scripts/ | 2023-05-03 07:38 | - | |
| tools/ | 2023-04-11 07:18 | - | |
| pipeline/ | 2023-06-17 07:23 | - | |
| patches/ | 2023-06-23 11:35 | - | |
| docker/ | 2023-04-02 14:56 | - | |
| Dockerfile | 2023-08-23 06:10 | 201 | |
| .gitignore | 2023-04-28 06:36 | 254 | |