| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| CONFIGURE | 86 B | 2017-Oct-23 00:11 |
| DEPENDS | 213 B | 2016-Nov-12 17:22 |
| DETAILS | 841 B | 2017-Oct-23 00:11 |
| HISTORY | 1.5 KiB | 2017-Oct-23 00:11 |
| PRE_BUILD | 157 B | 2017-Oct-23 00:11 |
| cursor.patch | 12.9 KiB | 2017-Oct-23 00:11 |