From 4dde333eb2a5ce41367fc4403c4b3283c349f1d1 Mon Sep 17 00:00:00 2001 From: DavideRuzza <30658668+DavideRuzza@users.noreply.github.com> Date: Sat, 19 Aug 2017 16:49:45 +0200 Subject: [PATCH] Rename keywords.txt to keywords --- keywords.txt => keywords | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) rename keywords.txt => keywords (83%) diff --git a/keywords.txt b/keywords similarity index 83% rename from keywords.txt rename to keywords index 1bc57fc..4b326d7 100644 --- a/keywords.txt +++ b/keywords @@ -6,4 +6,4 @@ ang_move KEYWORD2 turn KEYWORD2 WAVE_DRIVE LITERAL1 FULL_STEP LITERAL1 -HALF_STEP LITERAL1 \ No newline at end of file +HALF_STEP LITERAL1