#ifndef H_time822_H
#define H_time822_H
/* Time in RFC 822 format

$Id: time822,v 1.3 1999/10/05 22:34:02 joseph Exp $

*/

#include <stdio.h>
#include <time.h>

/* Prints time to a file */
void time822_fprint(FILE *, time_t);

#endif
