From 98bbc33168019123c9721dfedc181377e9ab225a Mon Sep 17 00:00:00 2001 From: Paul Davis Date: Thu, 3 Oct 2013 20:41:24 -0400 Subject: fake rm of tools submodule --- tools | 1 - 1 file changed, 1 deletion(-) delete mode 160000 tools diff --git a/tools b/tools deleted file mode 160000 index 2a400f4..0000000 --- a/tools +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 2a400f42147f41206b31d7750558e4b3d0293f08 -- cgit v1.2.1