From cdccc15dc05d83d5e7ccb93914c2412611480375 Mon Sep 17 00:00:00 2001 From: "Scott J. Miles" Date: Sat, 24 Aug 2013 23:22:40 -0700 Subject: [PATCH] freshen tools (doc themes) --- tools | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools b/tools index d4194fe..597dcfd 160000 --- a/tools +++ b/tools @@ -1 +1 @@ -Subproject commit d4194fed0aa30e89fd3ba405f64ade3e45bd6d47 +Subproject commit 597dcfd60e9939b1a4a96b68603676b746a29532