From 562d8386ec1aefc699fcd782626a96f8a92270ba Mon Sep 17 00:00:00 2001 From: Irmen de Jong Date: Sat, 9 Oct 2021 16:57:56 +0200 Subject: [PATCH] fix antlr generator settings --- .idea/misc.xml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/.idea/misc.xml b/.idea/misc.xml index 5455bfad2..d79c99176 100644 --- a/.idea/misc.xml +++ b/.idea/misc.xml @@ -4,7 +4,7 @@ - + - \ No newline at end of file +