Almost done now

[apt.git] / doc / examples / apt.conf

diff --git a/doc/examples/apt.conf b/doc/examples/apt.conf
index 5c07439592388012a1543d422d273101d1c44d2d..2519fa2ae8e579a7b1a22df4f62830394d9a85ee 100644 (file)
--- a/doc/examples/apt.conf
+++ b/doc/examples/apt.conf
@@ -1,4 +1,4 @@
-// $Id: apt.conf,v 1.10 1998/11/11 06:09:34 jgg Exp $
+// $Id: apt.conf,v 1.11 1998/11/11 06:54:18 jgg Exp $

 /* This file is an index of all APT configuration directives. It should
    NOT actually be used as a real config file, though it is a completely
    valid file.
 /* This file is an index of all APT configuration directives. It should
    NOT actually be used as a real config file, though it is a completely
    valid file.


@@ -40,6 +40,7 @@ Acquire
 /*  http 
   {
     Proxy "http://127.0.0.1:3128";
 /*  http 
   {
     Proxy "http://127.0.0.1:3128";

+    Proxy::http.us.debian.org "DIRECT";  // Specific per-host setting 

   };*/
 };
 
   };*/
 };