| Name | Last modified | Size |
|---|---|---|
| Parent Directory | 11-Jun-2026 03:02 | 1kB |
| CVS/ | 11-Jun-2026 03:00 | 1kB |
| Header | 19-Oct-2018 03:00 | 1kB |
| Localstuff | 25-May-2017 03:00 | 1kB |
| Makefile.am | 11-Jun-2026 03:00 | 13kB |
| Makefile.in | 11-Jun-2026 03:00 | 27kB |
| magdir/ | 11-Jun-2026 03:00 | 6kB |
| scripts/ | 25-Sep-2022 03:00 | 1kB |