| Name | Date | Size |
|---|---|---|
| ../ | 09-Jun-2026 23:10 | - |
| CVS/ | 31-Jul-2025 14:26 | - |
| Header | 18-Oct-2018 19:54 | 246B |
| Localstuff | 24-May-2017 19:59 | 321B |
| Makefile.am | 18-Aug-2023 15:00 | 11.5K |
| Makefile.in | 18-Aug-2023 15:00 | 25.8K |
| magdir/ | 31-Jul-2025 14:21 | - |
| scripts/ | 31-Jul-2025 14:21 | - |