*** /dev/null	Tue May 19 23:02:34 1998
--- xchomp.man	Tue May 19 23:27:42 1998
***************
*** 0 ****
--- 1 ----
+