From 1b371baaeacb84833520478e58e5bc63ff397937 Mon Sep 17 00:00:00 2001
From: Andrei Tatar <andrei@unikraft.io>
Date: Thu, 11 May 2023 12:19:30 +0300
Subject: [PATCH] Remove obsolete documentation files

Signed-off-by: Andrei Tatar <andrei@unikraft.io>
Reviewed-by: Maria Sfiraiala <maria.sfiraiala@gmail.com>
Approved-by: Razvan Deaconescu <razvand@unikraft.io>
Tested-by: Unikraft CI <monkey@unikraft.io>
GitHub-Closes: #2
---
 CODING_STYLE.md |  4 ----
 MAINTAINERS.md  | 11 -----------
 2 files changed, 15 deletions(-)
 delete mode 100644 CODING_STYLE.md
 delete mode 100644 MAINTAINERS.md

diff --git a/CODING_STYLE.md b/CODING_STYLE.md
deleted file mode 100644
index 5730041..0000000
--- a/CODING_STYLE.md
+++ /dev/null
@@ -1,4 +0,0 @@
-Coding Style
-============
-
-Please refer to the `CODING_STYLE.md` file in the main Unikraft repository.
diff --git a/MAINTAINERS.md b/MAINTAINERS.md
deleted file mode 100644
index e0535c0..0000000
--- a/MAINTAINERS.md
+++ /dev/null
@@ -1,11 +0,0 @@
-Maintainers List
-================
-
-For notes on how to read this information, please refer to `MAINTAINERS.md` in
-the main Unikraft repository.
-
-	LIBGOOGLETEST-UNIKRAFT
-	M:	Felipe Huici <felipe.huici@neclab.eu>
-	M:	Vlad-Andrei Badoiu <vlad_andrei.badoiu@stud.acs.upb.ro>
-	L:	minios-devel@lists.xen.org
-	F: *
-- 
2.39.5