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.23/Thu Jun 11 03:00:39 2026//
/Makefile.in/1.28/Thu Jun 11 03:00:39 2026//