Delete KERNEL.1004K
authorMartin Kroeker <martin@ruby.chemie.uni-freiburg.de>
Sun, 19 Apr 2020 13:44:30 +0000 (15:44 +0200)
committerGitHub <noreply@github.com>
Sun, 19 Apr 2020 13:44:30 +0000 (15:44 +0200)
kernel/mips/KERNEL.1004K [deleted file]

diff --git a/kernel/mips/KERNEL.1004K b/kernel/mips/KERNEL.1004K
deleted file mode 100644 (file)
index 6713535..0000000
+++ /dev/null
@@ -1 +0,0 @@
-include $(KERNELDIR)/KERNEL.P5600