personal/wirth is https now

robots.txt

@@ -1,12 +0,0 @@
-User-agent: Mozilla/4.0 (compatible; MSIE 4.01; Windows NT; MS Search 6.0 Robot)
-Allow: /
-Request-rate: 1/10
-
-User-agent: *
-Visit-time: 2000-0700
-Allow: /
-
-Request-rate: 1/30 0700-2000
-Request-rate: 1/10 2000-0700
-Crawl-delay: 60
-

wirth.sh

@@ -1,2 +1,2 @@
-#!/bin/sh 
-wget -r -k -l 7 -p -E -np http://www.inf.ethz.ch/personal/wirth/ 
+#!/bin/sh 
+wget -r -k -l 7 -p -E -np https://www.inf.ethz.ch/personal/wirth/