D/magdir////
/Localstuff/1.1.1.4/Thu May 25 03:00:29 2017//
/Header/1.1.1.3/Fri Oct 19 03:00:29 2018//
D/scripts////
/Makefile.am/1.22/Sat Aug 19 03:00:32 2023//
/Makefile.in/1.26/Sat Aug 19 03:00:32 2023//