| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| nsInfo.rds | 1600 | 2023-Aug-13 17:46 |
| package.rds | 1490 | 2023-Aug-13 17:46 |
| hsearch.rds | 1430 | 2023-Aug-13 17:46 |
| Rd.rds | 1417 | 2023-Aug-13 17:46 |
| links.rds | 892 | 2023-Aug-13 17:46 |
| vignette.rds | 355 | 2023-Aug-13 17:46 |
| features.rds | 126 | 2023-Aug-13 17:46 |