1 files changed, 0 insertions, 15 deletions
diff --git a/src/user/dumptext/dumptext.c b/src/user/dumptext/dumptext.c
deleted file mode 100644
index b10375c..0000000
--- a/src/user/dumptext/dumptext.c
+++ /dev/null
@@ -1,15 +0,0 @@
-#include <knob/file.h>
-#include <knob/user.h>
-
-void main(const char *path) {
-  struct file *f = open_file(path);
-  if (!f) {
-    tell_user_sz("Couldn't open file.\n");
-    return;
-  }
-  char buf[] = { '\0', '\0' };
-  while (read_from_file(f, 1, buf))
-    tell_user_sz(buf);
-  tell_user_sz("\n");
-  close_file(f);
-}
-\ No newline at end of file