Merge from master to create a merge point.

2013-12-07 19:03:34 +02:00
parent 8414233b9c 6315df35d6
commit 166c4b6be7
1 changed files with 0 additions and 1 deletions
@@ -1,4 +1,3 @@
-<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
 <html>
 	<head>
 		<title>Boost: mem_fn.hpp documentation</title>