/Makefile.am/1.1/Fri May 31 19:52:54 2013//
/Makefile.in/1.3/Fri Jul 15 13:05:14 2022//
/xrefresh.man/1.3/Fri Jul 15 13:05:14 2022//
D
