1 files changed, 0 insertions, 6 deletions
diff --git a/docs/history/13-gap-fixes/code/io_linux.c b/docs/history/13-gap-fixes/code/io_linux.c
deleted file mode 100644
index 7ea34e0..0000000
--- a/docs/history/13-gap-fixes/code/io_linux.c
+++ /dev/null
@@ -1,6 +0,0 @@
-#include <stdio.h>
-int J;
-static int pk(void){int c=getchar();ungetc(c,stdin);return c==EOF;}
-char Q(void){int c=getchar();J=pk();return c;}
-void G(char c){putchar(c);}
-__attribute__((constructor)) static void init(void){J=pk();}