/*
  strip13.c

  usage:
    strip13 <in >out

  compilation:
    gcc -O2 -o strip13 strip13.c
    strip strip13

  Last Updated:	23/08/99 SAA	Convert DOS files to standard files.

 */

#include <stdio.h>

int main()
  {
  int c=0;

  while((c=getchar())!=EOF)
    {
    if (c != 13) putchar(c);
#if 0
    fprintf(stderr, "%c %d\n", (char) c, c);
#endif
    }

  exit(0);
  }