#include "putty.h"
#ifndef NO_GSSAPI
/* For platforms not supporting GSSAPI */
void ssh_gss_init(void)
{
}
#endif /* NO_GSSAPI */