Public Mirrors
![[ICO]](/icons/blank.gif){kind=icon} | Name | Last modified | Size |
|---|---|---|---|
![[PARENTDIR]](/icons/back.gif){kind=icon} | Parent Directory | - | |
![[ ]](/icons/hand.right.gif){kind=icon} | README | 2015-08-09 01:38 | 429 |
![[IMG]](/icons/image2.gif){kind=icon} | de15.xpm | 2015-08-09 01:38 | 395 |
| de48.xpm | 2015-08-09 01:38 | 2.5K |
![[TXT]](/icons/text.gif){kind=icon} | missing_init.patch | 2015-08-09 01:38 | 586 |
| pl15.xpm | 2015-08-09 01:38 | 380 |
| pl48.xpm | 2015-08-09 01:38 | 2.5K |
| svg-appdefaults.patch | 2015-08-09 01:38 | 777 |
| svg-flags.patch | 2015-08-09 01:38 | 7.0K |