From a744b5b9977ae9e249a229d742d7406601ca8d49 Mon Sep 17 00:00:00 2001
From: Gert van Valkenhoef <g.h.m.van.valkenhoef@rug.nl>
Date: Wed, 16 Nov 2011 20:12:10 +0000
Subject: [PATCH] Remove unused file

---
 convert.c | 12 ------------
 1 file changed, 12 deletions(-)
 delete mode 100644 convert.c

diff --git a/convert.c b/convert.c
deleted file mode 100644
index 5c00661..0000000
--- a/convert.c
+++ /dev/null
@@ -1,12 +0,0 @@
-#include <stdio.h>
-
-int main(int argc, char *argv[]) {
-	int c;
-	while ((c = getchar()) != EOF) {
-		if (c == '\r') {
-			putchar('\n');
-		} else {
-			putchar(c);
-		}
-	}
-}
-- 
2.29.2