From d43db8b3881048b1ac79aeb9627ac7190393c634 Mon Sep 17 00:00:00 2001
From: jzmaddock <jzmaddock@gmail.com>
Date: Thu, 12 Jun 2014 13:32:18 +0100
Subject: [PATCH] regenerate docs.

---
 doc/html/index.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/html/index.html b/doc/html/index.html
index f407f438..23664634 100644
--- a/doc/html/index.html
+++ b/doc/html/index.html
@@ -968,7 +968,7 @@
 </div>
 </div>
 <table xmlns:rev="http://www.cs.rpi.edu/~gregod/boost/tools/doc/revision" width="100%"><tr>
-<td align="left"><p><small>Last revised: June 05, 2014 at 17:41:22 GMT</small></p></td>
+<td align="left"><p><small>Last revised: June 12, 2014 at 12:31:43 GMT</small></p></td>
 <td align="right"><div class="copyright-footer"></div></td>
 </tr></table>
 <hr>