[Gmp-commit] /var/hg/www: 2 new changesets

Wed Dec 11 15:05:50 UTC 2013

details:   /var/hg/www/rev/444a78be5e11
changeset: 140:444a78be5e11
user:      Torbjorn Granlund <tege at gmplib.org>
date:      Wed Dec 11 16:05:25 2013 +0100
description:
Update "security policy".

details:   /var/hg/www/rev/eabf17b8fa59
changeset: 141:eabf17b8fa59
user:      Torbjorn Granlund <tege at gmplib.org>
date:      Wed Dec 11 16:05:33 2013 +0100
description:
New file.

diffstat:

 404.html      |  84 +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
 security.html |   8 +++--
 2 files changed, 89 insertions(+), 3 deletions(-)

diffs (114 lines):

diff -r 5b762fbf72a2 -r eabf17b8fa59 404.html

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/404.html	Wed Dec 11 16:05:33 2013 +0100
@@ -0,0 +1,84 @@
+<!DOCTYPE HTML>
+<html>
+<head>
+  <title>404 Page not found</title>
+  <link rel="shortcut icon" href="favicon.ico">
+  <link rel="stylesheet" href="new.css">
+  <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
+  <style type="text/css"> td {padding-left:4pt; padding-right:4pt;}</style>
+  <style type="text/css"> th {padding-left:4pt; padding-right:2pt;}</style>
+</head>
+
+<body>
+
+<div id="top">
+<table width="100%" bgcolor="#e8e8e8">
+  <tr>
+    <td align="left">
+      <svg width="180px" height="60px" version="1.1"
+	   viewBox="0 0 1500 500"
+	   xmlns="http://www.w3.org/2000/svg">
+	<rect x="0" y="0" width="1500" height="540" fill="#e8e8e8" />
+	<text x="0" y="440" fill="#e00000"  font-size="540" font-family="arial" font-weight="bold">
+	  GMP
+	</text>
+	<text x="50" y="500" font-size="70" font-family="Verdana">
+	  «Arithmetic without limitations»
+	</text>
+      </svg>
+    </td>
+    <td align="center">
+      <font size="+2">404 Page not found</font>
+    </td>
+  </tr>
+</table>
+</div>
+
+<div id="container">
+  <div id="top-spacer"></div>
+
+<br><br>
+
+<center>
+<font size="-5">This page has intensionally been left almost blank...</font>
+</center>
+
+<br><br>
+
+<center>
+<font size="-5">...because it does not exist</font>
+</center>
+
+<div id="footer-spacer"></div>
+
+</div>
+
+<div id="footer">
+<table cellpadding=0 width="100%" bgcolor="#e8e8e8">
+  <tr>
+    <td align="center">
+      <font size="-3">
+	Please send comments about this page to gmp-discuss<font> at </font>gmplib.org
+      </font>
+    </td>
+  </tr>
+  <tr>
+    <td align="center">
+      <font size="-3">
+	Copyright 2012, 2013 Free Software Foundation
+      </font>
+    </td>
+  </tr>
+  <tr>
+    <td align="center">
+      <font size="-3">
+	Verbatim copying and distribution of this entire article is permitted
+	in any medium, provided this notice is preserved.
+      </font>
+    </td>
+  </tr>
+</table>
+</div>
+
+</body>
+</html>
diff -r 5b762fbf72a2 -r eabf17b8fa59 security.html
--- a/security.html	Mon Dec 09 01:22:05 2013 +0100
+++ b/security.html	Wed Dec 11 16:05:33 2013 +0100
@@ -83,9 +83,11 @@
 </p>
 
 <p>
-We block Microsoft's "bingbot" since it does not honour the
-<a href="https://http://en.wikipedia.org/wiki/Robots_exclusion_standard">Robots
+We block Microsoft's "bingbot" in the firewall since it does not honour the
+<a href="https://en.wikipedia.org/wiki/Robots_exclusion_standard">Robots
 exclusion standard</a> and furthermore performs unlawful file name probing.
+We're not sure they do that in bad will; it might just as well be really bad
+programming.
 </p>
 
   <div id="footer-spacer"></div>
@@ -101,7 +103,7 @@
 </font>
 <tr><td align="center">
 <font size="-3">
-Copyright 2012 Free Software Foundation
+Copyright 2012, 2013 Free Software Foundation
 </font>
 <tr><td align="center">
 <font size="-3">
