From 3261348e8132b46006874455be9a8cf69dbf14de Mon Sep 17 00:00:00 2001
From: Testato <Testato@users.noreply.github.com>
Date: Mon, 16 Oct 2017 20:27:19 +0200
Subject: [PATCH] remove instead of delete (#730)

---
 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 d621b5b2..fe2d4333 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