From 05f780b88793697b237a08bacab55409c0361345 Mon Sep 17 00:00:00 2001
From: Stefan van der Walt <stefan@sun.ac.za>
Date: Wed, 12 Oct 2011 13:39:18 -0700
Subject: [PATCH] Remove empty gitwash directory in order to fix submodule.

---
 doc/tools/gitwash | 1 -
 1 file changed, 1 deletion(-)
 delete mode 160000 doc/tools/gitwash

diff --git a/doc/tools/gitwash b/doc/tools/gitwash
deleted file mode 160000
index e02c2af7..00000000
--- a/doc/tools/gitwash
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit e02c2af711ff6b905a3e75f99f55e078a88e6b7e