From 835097d7fb9f3c3049144442176a99d053652172 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Matth=C3=A4us=20G=2E=20Chajdas?= Date: Sat, 19 Sep 2020 08:30:52 +0200 Subject: Remove symlink. Windows doesn't support symlinks out of the box, and there doesn't seem to be any use of this symlink, so let's remove it. --- scripts/find_error.py | 1 - 1 file changed, 1 deletion(-) delete mode 120000 scripts/find_error.py (limited to 'scripts') diff --git a/scripts/find_error.py b/scripts/find_error.py deleted file mode 120000 index ba0b76f1..00000000 --- a/scripts/find_error.py +++ /dev/null @@ -1 +0,0 @@ -debug_lexer.py \ No newline at end of file -- cgit v1.2.1