Sun Apr 26 11:42:13 1998  Assar Westerlund  <assar@sics.se>

	* push.c: should work with krb4

	* push_locl.h: krb4 compat

	* Makefile.in: new file