| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| features.rds | 126 | 2023-Aug-13 17:22 |
| demo.rds | 233 | 2023-Aug-13 17:22 |
| vignette.rds | 266 | 2023-Aug-13 17:22 |
| links.rds | 578 | 2023-Aug-13 17:22 |
| nsInfo.rds | 766 | 2023-Aug-13 17:22 |
| hsearch.rds | 1082 | 2023-Aug-13 17:22 |
| Rd.rds | 1091 | 2023-Aug-13 17:22 |
| package.rds | 1687 | 2023-Aug-13 17:22 |