From 584bed1b7d61d30fc0c71a33bd035aa7b3b43f77 Mon Sep 17 00:00:00 2001 From: Michał Cichoń Date: Thu, 27 Aug 2015 21:36:26 +0200 Subject: Remove build directory to make place for new submodule. --- build | 1 - 1 file changed, 1 deletion(-) delete mode 160000 build (limited to 'build') diff --git a/build b/build deleted file mode 160000 index 85c8fc0..0000000 --- a/build +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 85c8fc0a88b6d776943e422fabcadcc1c2e83aa4 -- cgit v1.2.3