Index of /externe/magus/datasets/MaGuS
Name
Last modified
Size
Description
Parent Directory
-
Arabido/
2023-11-21 17:09
-
![[ICO]](/icons/blank.png){kind=icon}
![[PARENTDIR]](/icons/up.png){kind=icon}
![[DIR]](/icons/folder.png){kind=icon}