![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| 07_no_background_opts.diffDISABLED | 2008-05-03 09:35 | 4.7K | |
| 09_man_xscreensaver.diff | 2008-05-03 09:35 | 538 | |
| 11_no_background_opts_2.diffDISABLED | 2008-05-03 09:35 | 443 | |
| 12_cmdbuflen.diff | 2008-05-03 09:35 | 442 | |
| 13_gtk_includes.diff | 2008-05-03 09:35 | 514 | |