![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| downloadMappings.log | 2021-09-16 12:42 | 14K | |
| downloadOntology.log | 2021-09-16 12:41 | 14K | |
| downloadWikidumps.log | 2021-09-16 13:30 | 2.7M | |
| extraction.generic.log | 2021-09-16 14:16 | 19M | |
| postProcessing.log | 2021-09-16 14:16 | 0 | |