wget: added and index..

2016-03-25 17:44:44 +02:00
parent 96d9d7613d
commit 374749efdc
11 changed files with 75252 additions and 74939 deletions
@@ -0,0 +1,14 @@
+Index: doc/sample.wgetrc
+===================================================================
+--- doc/sample.wgetrc.orig
+++ doc/sample.wgetrc
+@@ -114,6 +114,9 @@
+ 
+ # To try ipv6 addresses first:
+ #prefer-family = IPv6
+#
+# Let the DNS resolver decide whether to prefer IPv4 or IPv6
+prefer-family = none
+ 
+ # Set default IRI support state
+ #iri = off