| Name | Last modified | Size |
|---|---|---|
| Parent Directory | 11-Oct-2025 03:35 | 1kB |
| CVS/ | 31-Jul-2025 18:26 | 1kB |
| Header | 18-Oct-2018 23:54 | 1kB |
| Localstuff | 24-May-2017 23:59 | 1kB |
| Makefile.am | 18-Aug-2023 19:00 | 12kB |
| Makefile.in | 18-Aug-2023 19:00 | 26kB |
| magdir/ | 31-Jul-2025 18:21 | 6kB |
| scripts/ | 31-Jul-2025 18:21 | 1kB |