diff --git a/doc/html/boost_tr1.html b/doc/html/boost_tr1.html deleted file mode 100644 index 860640cdf9..0000000000 --- a/doc/html/boost_tr1.html +++ /dev/null @@ -1,17 +0,0 @@ - - -