From d79c2777c75b9e5e1d566960e2ed98e1a0e41449 Mon Sep 17 00:00:00 2001 From: Florian Dold Date: Mon, 14 Oct 2019 22:39:12 +0530 Subject: build system --- build-scripts | 1 - 1 file changed, 1 deletion(-) delete mode 160000 build-scripts (limited to 'build-scripts') diff --git a/build-scripts b/build-scripts deleted file mode 160000 index c49278458..000000000 --- a/build-scripts +++ /dev/null @@ -1 +0,0 @@ -Subproject commit c49278458aad2d2bfbf91b3e4ee4dd1650bf9601 -- cgit v1.2.3