| Name | Last modified | Size |
|---|---|---|
| Parent Directory | 29-Oct-2025 03:05 | 1kB |
| CVS/ | 29-Oct-2025 03:05 | 1kB |
| Header | 18-Oct-2018 23:54 | 1kB |
| Localstuff | 24-May-2017 23:59 | 1kB |
| Makefile.am | 22-May-2019 17:26 | 11kB |
| Makefile.in | 22-May-2019 17:26 | 25kB |
| magdir/ | 14-Feb-2024 18:44 | 5kB |