From de20d7430df08731d9108acb83e1234ba7f1fe16 Mon Sep 17 00:00:00 2001 From: Benji Dial Date: Sat, 19 Sep 2020 14:53:29 -0400 Subject: file manager --- src/user/knob/quit.c | 8 -------- 1 file changed, 8 deletions(-) delete mode 100644 src/user/knob/quit.c (limited to 'src/user/knob/quit.c') diff --git a/src/user/knob/quit.c b/src/user/knob/quit.c deleted file mode 100644 index 98881b7..0000000 --- a/src/user/knob/quit.c +++ /dev/null @@ -1,8 +0,0 @@ -#include -#include - -__attribute__ ((noreturn)) -void quit() { - _close_all_files(); - _exit_task(); -} \ No newline at end of file -- cgit v1.2.3