/Makefile.am/1.2/Sat Nov 19 12:42:57 2011//
/Makefile.in/1.5/Tue Oct 11 22:14:55 2016//
/ws.man/1.14/Sat Sep  3 14:01:16 2016//
D
