![[ICO]](/icons/blank.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[IMG]](/icons/image2.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| details.php | 2013-05-28 21:16 | 65 | |
| export.php | 2013-05-28 21:16 | 64 | |
| icons.png | 2013-05-28 21:16 | 661 | |
| intern/ | 2013-05-31 18:58 | - | |
| public_main.php | 2013-05-28 21:16 | 63 | |
| publications.min.css | 2024-03-02 15:28 | 1.6K | |
| publications.min.js | 2020-01-23 16:16 | 3.7K | |