From 613aa1b9ea292dd9c579672d6682bbc8eaa4d815 Mon Sep 17 00:00:00 2001
From: Christoph Hellwig <hch@cloudius-systems.com>
Date: Thu, 24 Jan 2013 12:52:06 +0100
Subject: [PATCH] remove the unused stdio.hh header
---
fs/stdio.hh | 15 ---------------
1 file changed, 15 deletions(-)
delete mode 100644 fs/stdio.hh
diff --git a/fs/stdio.hh b/fs/stdio.hh
deleted file mode 100644
index 9cec1c939..000000000
--- a/fs/stdio.hh
+++ /dev/null
@@ -1,15 +0,0 @@
-#ifndef STDIO_HH_
-#define STDIO_HH_
-
-#include "fs.hh"
-
-class console_file : public file {
-public:
- virtual uint64_t size();
- virtual void read(void *buffer, uint64_t offset, uint64_t len);
- virtual void write(const void* buffer, uint64_t offset, uint64_t len);
-};
-
-extern fileref console_fileref;
-
-#endif /* STDIO_HH_ */
--
GitLab