Remove XML editor

2019-02-22 16:00:45 +01:00
parent 9fe7643285
commit 1de91edfe8
15 changed files with 0 additions and 1165 deletions
--- a/recipes/src/xml_editor/content.mk
+++ b/recipes/src/xml_editor/content.mk
@@ -1,2 +0,0 @@
-SRC_DIR := src/app/xml_editor
-include $(GENODE_DIR)/repos/base/recipes/src/content.inc
--- a/recipes/src/xml_editor/hash
+++ b/recipes/src/xml_editor/hash
@@ -1 +0,0 @@
-2017-06-08 29beffb8c1589ab3398db5b17f432e32ade2c0f2
--- a/recipes/src/xml_editor/used_apis
+++ b/recipes/src/xml_editor/used_apis
@@ -1,8 +0,0 @@
-base
-block_session
-file_system_session
-os
-report_session
-rtc_session
-terminal_session
-vfs
--- a/recipes/src/xml_term_edit/content.mk
+++ b/recipes/src/xml_term_edit/content.mk
@@ -1,14 +0,0 @@
-SRC_DIR := src/app/xml_term_edit
-
-content: $(SRC_DIR) LICENSE
-
-$(SRC_DIR):
-	mkdir -p $@
-	cp -r $(REP_DIR)/$@/* $@/
-	cp \
-		$(GENODE_DIR)/repos/os/src/app/cli_monitor/command_line.h \
-		$(GENODE_DIR)/repos/os/src/app/cli_monitor/line_editor.h \
-		$@/
-
-LICENSE:
-	cp $(GENODE_DIR)/LICENSE $@
--- a/recipes/src/xml_term_edit/hash
+++ b/recipes/src/xml_term_edit/hash
@@ -1 +0,0 @@
-2017-06-08 1c40e2580a6a1abf3c72a9272cb3d9d7a1eab81d
--- a/recipes/src/xml_term_edit/used_apis
+++ b/recipes/src/xml_term_edit/used_apis
@@ -1,8 +0,0 @@
-base
-block_session
-file_system_session
-os
-report_session
-rtc_session
-terminal_session
-vfs
				`@@ -1 +0,0 @@`
				`2017-06-08 29beffb8c1589ab3398db5b17f432e32ade2c0f2`
				`@@ -1 +0,0 @@`
				`2017-06-08 1c40e2580a6a1abf3c72a9272cb3d9d7a1eab81d`