From b923f7232a9e98a0b039b722ffedcf91051edbe6 Mon Sep 17 00:00:00 2001 From: Nadrieril Date: Fri, 3 May 2024 13:29:27 +0200 Subject: Ensure `./charon` points to a valid charon clone --- compiler/.gitignore | 1 - 1 file changed, 1 deletion(-) delete mode 100644 compiler/.gitignore (limited to 'compiler/.gitignore') diff --git a/compiler/.gitignore b/compiler/.gitignore deleted file mode 100644 index 8357dae7..00000000 --- a/compiler/.gitignore +++ /dev/null @@ -1 +0,0 @@ -charon -- cgit v1.2.3