From 372e2f70a81e017948649a0976bbd6b533eda25a Mon Sep 17 00:00:00 2001 From: Paul Davis Date: Thu, 3 Oct 2013 20:41:14 -0400 Subject: [PATCH] fake rm of tools submodule --- tools | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools b/tools index 7aebced..2a400f4 160000 --- a/tools +++ b/tools @@ -1 +1 @@ -Subproject commit 7aebcedd57ca61d5291b800845d161478f045fb4 +Subproject commit 2a400f42147f41206b31d7750558e4b3d0293f08