From 09152d7e790fbe8d8961b0e630253e5218ece14c Mon Sep 17 00:00:00 2001
From: Testato <Testato@users.noreply.github.com>
Date: Sun, 15 Oct 2017 10:35:07 +0200
Subject: [PATCH] remove instead of delete

---
 libraries/Preferences/keywords.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/libraries/Preferences/keywords.txt b/libraries/Preferences/keywords.txt
index d621b5b239d..fe2d4333e6e 100644
--- a/libraries/Preferences/keywords.txt
+++ b/libraries/Preferences/keywords.txt
@@ -15,7 +15,7 @@ begin	KEYWORD2
 end	KEYWORD2
 
 clear	KEYWORD2
-delete	KEYWORD2
+remove	KEYWORD2
 
 putChar	KEYWORD2
 putUChar	KEYWORD2