1 files changed, 0 insertions, 9 deletions
diff --git a/pintos-progos/devices/kbd.h b/pintos-progos/devices/kbd.h
deleted file mode 100644
index ed9c06b..0000000
--- a/pintos-progos/devices/kbd.h
+++ /dev/null
@@ -1,9 +0,0 @@
-#ifndef DEVICES_KBD_H
-#define DEVICES_KBD_H
-#include <stdint.h>
-void kbd_init (void);
-void kbd_print_stats (void);
-#endif /* devices/kbd.h */

diff --git a/pintos-progos/devices/kbd.h b/pintos-progos/devices/kbd.h deleted file mode 100644 index ed9c06b..0000000 --- a/pintos-progos/devices/kbd.h +++ /dev/null
@@ -1,9 +0,0 @@
1	#ifndef DEVICES_KBD_H
2	#define DEVICES_KBD_H
3
4	#include <stdint.h>
5
6	void kbd_init (void);
7	void kbd_print_stats (void);
8
9	#endif /* devices/kbd.h */