From 38b1273c7e3a52ae929f36fe07e29bc68ef95102 Mon Sep 17 00:00:00 2001 From: Miguel Date: Mon, 3 Sep 2018 00:07:20 +0200 Subject: clean filenames etc --- kernel/usermode.h | 0 1 file changed, 0 insertions(+), 0 deletions(-) delete mode 100644 kernel/usermode.h (limited to 'kernel/usermode.h') diff --git a/kernel/usermode.h b/kernel/usermode.h deleted file mode 100644 index e69de29..0000000 -- cgit v1.2.3