File Name | File Size | Date |
---|---|---|
Parent directory/ | - | - |
CVS/ | - | 31-Jul-2025 18:26 |
magdir/ | - | 31-Jul-2025 18:21 |
scripts/ | - | 31-Jul-2025 18:21 |
Header | 246 | 18-Oct-2018 23:54 |
Localstuff | 321 | 24-May-2017 23:59 |
Makefile.am | 11799 | 18-Aug-2023 19:00 |
Makefile.in | 26447 | 18-Aug-2023 19:00 |