static char *rcsid = "$Header: /plaid/homes/zeus/Blind-2.47/cmds/RCS/f.c,v 2.46 1997/04/18 12:13:15 zeus Exp $";

/*
 *
 * $Log: f.c,v $
 * Revision 2.46  1997/04/18 12:13:15  zeus
 * *** empty log message ***
 *
 * Revision 2.45  1996/12/31  23:58:06  zeus
 * Revision 2.44  1995/12/31  19:45:18  zeus
 * Revision 2.43  1995/03/20  01:43:09  zeus
 *
 */

#define NOTIMEB
 
#include "common.h"
#include "prototypes.h"
#include "cmds.h"
#include "cmds-g.h"
#include "options.h"

void f_cmd_rcsid (void);

void
f_cmd_rcsid (void)
{
  printf ("%s\n",rcsid);
}

void
f_cmd (char *buf, player * P)
{
  cmd_init(buf);
  P->opts1 ^= FULL;
  extra_token ();
}

