From 9d4dbaf8157231bfcd67defc8809bdc2cefdebb0 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?L=C3=A9o=20Lam?= Date: Sat, 7 Aug 2021 02:35:56 +0200 Subject: [PATCH] Remove dead symlink to diff.py wrapper --- diff.py | 1 - 1 file changed, 1 deletion(-) delete mode 120000 diff.py diff --git a/diff.py b/diff.py deleted file mode 120000 index 646f9ddc..00000000 --- a/diff.py +++ /dev/null @@ -1 +0,0 @@ -tools/diff.py \ No newline at end of file