![[ICO]](/theme/icons/blank.png){kind=icon} | Name | Last modified | Size |
|---|---|---|---|
![[PARENTDIR]](/theme/icons/folder-home.png){kind=icon} | Parent Directory | - | |
![[ ]](/theme/icons/default.png){kind=icon} | skull.dtx | 2002-02-27 16:54 | 3.7K |
| skull.ins | 2002-02-27 16:59 | 156 |
| skull.mf | 2002-02-27 16:54 | 2.9K |
| Name | Last modified | Size |
|---|---|---|---|
| Parent Directory | - | |
| skull.dtx | 2002-02-27 16:54 | 3.7K |
| skull.ins | 2002-02-27 16:59 | 156 |
| skull.mf | 2002-02-27 16:54 | 2.9K |