From a159711de14873c36df9ccd13727eea8e585d3f2 Mon Sep 17 00:00:00 2001 From: jwijenbergh Date: Mon, 25 Mar 2024 12:56:55 +0100 Subject: Remove unused make files --- exports/.gitignore | 1 - 1 file changed, 1 deletion(-) delete mode 100644 exports/.gitignore (limited to 'exports/.gitignore') diff --git a/exports/.gitignore b/exports/.gitignore deleted file mode 100644 index 5e5615b..0000000 --- a/exports/.gitignore +++ /dev/null @@ -1 +0,0 @@ -/lib/* -- cgit v1.2.3